diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c-decl.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20041218-2.c | 15 |
3 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 51ad04e..f9a9b56 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2004-12-18 Richard Henderson <rth@redhat.com> + * c-decl.c (finish_struct): Add DECL_EXPR for variable sized + structures seen inside functions. + +2004-12-18 Richard Henderson <rth@redhat.com> + * c-decl.c (grokdeclarator): Save variable array size before subtracting 1, rather than after. diff --git a/gcc/c-decl.c b/gcc/c-decl.c index b76e274..26caa2c 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -5401,6 +5401,12 @@ finish_struct (tree t, tree fieldlist, tree attributes) /* Finish debugging output for this type. */ rest_of_type_compilation (t, toplevel); + /* If we're inside a function proper, i.e. not file-scope and not still + parsing parameters, then arrange for the size of a variable sized type + to be bound now. */ + if (cur_stmt_list && variably_modified_type_p (t, NULL)) + add_stmt (build_stmt (DECL_EXPR, build_decl (TYPE_DECL, NULL, t))); + return t; } diff --git a/gcc/testsuite/gcc.c-torture/execute/20041218-2.c b/gcc/testsuite/gcc.c-torture/execute/20041218-2.c new file mode 100644 index 0000000..c4b3627 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20041218-2.c @@ -0,0 +1,15 @@ +extern void abort (void); + +int test(int n) +{ + struct s { char b[n]; }; + n++; + return sizeof(struct s); +} + +int main() +{ + if (test(123) != 123) + abort (); + return 0; +} |