From eebeecacfb9c097f7b3766bcb96097a86d0860b7 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 14 Jan 2005 09:03:20 +0100 Subject: [PATCH] re PR middle-end/18820 (ACATS c95300[123] and c980002 fail at runtime) PR middle-end/18820 * varasm.c (initializer_constant_valid_p) : Return zero for nested functions needing a static chain or functions with a non-constant address. From-SVN: r93633 --- gcc/ChangeLog | 7 +++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/ada/acats/norun.lst | 2 -- gcc/testsuite/gcc.dg/nested-func-2.c | 28 ++++++++++++++++++++++++++++ gcc/varasm.c | 6 ++++++ 5 files changed, 46 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/nested-func-2.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d14831920a0..9e733219cb9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2005-01-14 Eric Botcazou + + PR middle-end/18820 + * varasm.c (initializer_constant_valid_p) : Return + zero for nested functions needing a static chain or functions + with a non-constant address. + 2005-01-13 Roger Sayle * simplify-rtx.c (simplify_binary_operation) : Optimize diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 90a14e200dd..62cda60e35a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-01-14 Eric Botcazou + + * gcc.dg/nested-func-2.c: New test. + * ada/acats/norun.lst: Remove c953002. + 2005-01-12 Ulrich Weigand * gcc.dg/ftrapv-2.c (labsv): Call labs instead of abs. diff --git a/gcc/testsuite/ada/acats/norun.lst b/gcc/testsuite/ada/acats/norun.lst index 5d21693f34d..049965b9986 100644 --- a/gcc/testsuite/ada/acats/norun.lst +++ b/gcc/testsuite/ada/acats/norun.lst @@ -1,8 +1,6 @@ c380004 -c953002 cdd2a03 templat # Tests must be sorted in alphabetical order # c380004: should be front-end compile time error, PR ada/18817 -# c953002: often hanging, PR ada/18820 # cdd2a03: new Ada ruling not supported yet, PR ada/19323 diff --git a/gcc/testsuite/gcc.dg/nested-func-2.c b/gcc/testsuite/gcc.dg/nested-func-2.c new file mode 100644 index 00000000000..14f14c67e85 --- /dev/null +++ b/gcc/testsuite/gcc.dg/nested-func-2.c @@ -0,0 +1,28 @@ +/* PR middle-end/18820 */ +/* Check that we reject nested functions as initializers + of static variables. */ + +/* { dg-do compile } */ +/* { dg-options "" } */ + +struct S { + void (*f)(int); +}; + +extern void baz(struct S *); +extern void p(int); + +void foo(void) +{ + int u; + + void bar(int val) + { + u = val; + } + + static struct S s = { bar }; /* { dg-error "(is not constant)|(near initialization)" } */ + + baz(&s); + p(u); +} diff --git a/gcc/varasm.c b/gcc/varasm.c index ba0aab553ed..8252f0e123f 100644 --- a/gcc/varasm.c +++ b/gcc/varasm.c @@ -3501,6 +3501,12 @@ initializer_constant_valid_p (tree value, tree endtype) && TREE_CODE (value) == INDIRECT_REF && TREE_CONSTANT (TREE_OPERAND (value, 0))) return null_pointer_node; + /* Taking the address of a nested function involves a trampoline. */ + if (value + && TREE_CODE (value) == FUNCTION_DECL + && ((decl_function_context (value) && !DECL_NO_STATIC_CHAIN (value)) + || DECL_NON_ADDR_CONST_P (value))) + return NULL_TREE; return value; case VIEW_CONVERT_EXPR: -- 2.30.2