From 108b7d3d316599861369de7c7f9bfaef915c7bd3 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 4 Dec 2001 10:29:54 +0100 Subject: [PATCH] function.c (assign_parms): Set last_named only for last named argument. * function.c (assign_parms): Set last_named only for last named argument. * g++.dg/other/stdarg1.C: New test. From-SVN: r47601 --- gcc/ChangeLog | 5 +++++ gcc/function.c | 19 ++++++++++++++----- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/g++.dg/other/stdarg1.C | 26 ++++++++++++++++++++++++++ 4 files changed, 49 insertions(+), 5 deletions(-) create mode 100644 gcc/testsuite/g++.dg/other/stdarg1.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a3a4cd42369..dff736ec10a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-12-04 Jakub Jelinek + + * function.c (assign_parms): Set last_named only for last named + argument. + 2001-12-04 Joseph S. Myers * doc/install.texi: Use the GFDL. Include years from old install diff --git a/gcc/function.c b/gcc/function.c index 04f8ca62003..653e2abe140 100644 --- a/gcc/function.c +++ b/gcc/function.c @@ -4307,16 +4307,25 @@ assign_parms (fndecl) tree passed_type = DECL_ARG_TYPE (parm); tree nominal_type = TREE_TYPE (parm); int pretend_named; + int last_named = 0, named_arg; - /* Set LAST_NAMED if this is last named arg before some + /* Set LAST_NAMED if this is last named arg before last anonymous args. */ - int last_named = ((TREE_CHAIN (parm) == 0 - || DECL_NAME (TREE_CHAIN (parm)) == 0) - && (stdarg || current_function_varargs)); + if (stdarg || current_function_varargs) + { + tree tem; + + for (tem = TREE_CHAIN (parm); tem; tem = TREE_CHAIN (tem)) + if (DECL_NAME (tem)) + break; + + if (tem == 0) + last_named = 1; + } /* Set NAMED_ARG if this arg should be treated as a named arg. For most machines, if this is a varargs/stdarg function, then we treat the last named arg as if it were anonymous too. */ - int named_arg = STRICT_ARGUMENT_NAMING ? 1 : ! last_named; + named_arg = STRICT_ARGUMENT_NAMING ? 1 : ! last_named; if (TREE_TYPE (parm) == error_mark_node /* This can happen after weird syntax errors diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4bb0e18a093..4c7036f9636 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2001-12-04 Jakub Jelinek + + * g++.dg/other/stdarg1.C: New test. + 2001-12-03 Janis Johnson * gcc.c-torture/execute/builtin-prefetch-1.c: New test. diff --git a/gcc/testsuite/g++.dg/other/stdarg1.C b/gcc/testsuite/g++.dg/other/stdarg1.C new file mode 100644 index 00000000000..3b7718bd229 --- /dev/null +++ b/gcc/testsuite/g++.dg/other/stdarg1.C @@ -0,0 +1,26 @@ +// Test stdarg function with anonymous argument +// { dg-do run } + +#include + +extern "C" void abort (void); + +void baz (va_list list) +{ + if (va_arg (list, long) != 3) + abort (); +} + +void foo (long p1, long, long p2, ...) +{ + va_list list; + va_start (list, p2); + baz (list); + va_end (list); +} + +int main () +{ + foo (0, 1, 2, 3); + return 0; +}