diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/c/c-decl.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr93573-1.c | 12 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr93573-2.c | 6 |
5 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 52c296c..86ad683 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2020-03-28 Jakub Jelinek <jakub@redhat.com> + PR c/93573 + * c-decl.c (grokdeclarator): After issuing errors, set size_int_const + to true after setting size to integer_one_node. + PR tree-optimization/94329 * tree-ssa-reassoc.c (reassociate_bb): When calling reassoc_remove_stmt on the last stmt in a bb, make sure gsi_prev isn't done immediately diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c index 80fe318..b31d99f 100644 --- a/gcc/c/c-decl.c +++ b/gcc/c/c-decl.c @@ -6416,6 +6416,7 @@ grokdeclarator (const struct c_declarator *declarator, error_at (loc, "size of unnamed array has non-integer type"); size = integer_one_node; + size_int_const = true; } /* This can happen with enum forward declaration. */ else if (!COMPLETE_TYPE_P (TREE_TYPE (size))) @@ -6427,6 +6428,7 @@ grokdeclarator (const struct c_declarator *declarator, error_at (loc, "size of unnamed array has incomplete " "type"); size = integer_one_node; + size_int_const = true; } size = c_fully_fold (size, false, &size_maybe_const); @@ -6451,6 +6453,7 @@ grokdeclarator (const struct c_declarator *declarator, else error_at (loc, "size of unnamed array is negative"); size = integer_one_node; + size_int_const = true; } /* Handle a size folded to an integer constant but not an integer constant expression. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3e51175..6c3cb70 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2020-03-28 Jakub Jelinek <jakub@redhat.com> + PR c/93573 + * gcc.dg/pr93573-1.c: New test. + * gcc.dg/pr93573-2.c: New test. + PR tree-optimization/94329 * gfortran.dg/pr94329.f90: New test. diff --git a/gcc/testsuite/gcc.dg/pr93573-1.c b/gcc/testsuite/gcc.dg/pr93573-1.c new file mode 100644 index 0000000..26ec9b7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr93573-1.c @@ -0,0 +1,12 @@ +/* PR c/93573 */ +/* { dg-do compile } */ +/* { dg-options "" } */ + +void bar (); + +void +foo (char a) +{ + union C { int d[100.0]; char *e; }; /* { dg-error "has non-integer type" } */ + bar ((union C) &a); +} diff --git a/gcc/testsuite/gcc.dg/pr93573-2.c b/gcc/testsuite/gcc.dg/pr93573-2.c new file mode 100644 index 0000000..f880945 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr93573-2.c @@ -0,0 +1,6 @@ +/* PR c/93573 */ +/* { dg-do compile } */ +/* { dg-options "" } */ + +int f[100.0]; /* { dg-error "has non-integer type" } */ + /* { dg-bogus "variably modified .f. at file scope" "" { target *-*-* } .-1 } */ |