diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2021-04-10 17:01:54 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2021-04-10 17:01:54 +0200 |
| commit | 9f7d77bd6d65aa1cf2e195d3776052705c6e636b (patch) | |
| tree | 432dd2899823346bfeafa314486c445e3c5ef9a8 | |
| parent | 0344b5b822b310921a432b9ffcb9ea0b3964820d (diff) | |
| download | gcc-9f7d77bd6d65aa1cf2e195d3776052705c6e636b.zip gcc-9f7d77bd6d65aa1cf2e195d3776052705c6e636b.tar.gz gcc-9f7d77bd6d65aa1cf2e195d3776052705c6e636b.tar.bz2 | |
c: Avoid clobbering TREE_TYPE (error_mark_node) [PR99990]
The following testcase ICEs during error recovery, because finish_decl
overwrites TREE_TYPE (error_mark_node), which better should stay always
to be error_mark_node.
2021-04-10 Jakub Jelinek <jakub@redhat.com>
PR c/99990
* c-decl.c (finish_decl): Don't overwrite TREE_TYPE of
error_mark_node.
* gcc.dg/pr99990.c: New test.
| -rw-r--r-- | gcc/c/c-decl.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr99990.c | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c index 3b2241b..3c25451 100644 --- a/gcc/c/c-decl.c +++ b/gcc/c/c-decl.c @@ -5402,7 +5402,7 @@ finish_decl (tree decl, location_t init_loc, tree init, gcc_unreachable (); } - if (DECL_INITIAL (decl)) + if (DECL_INITIAL (decl) && DECL_INITIAL (decl) != error_mark_node) TREE_TYPE (DECL_INITIAL (decl)) = type; relayout_decl (decl); diff --git a/gcc/testsuite/gcc.dg/pr99990.c b/gcc/testsuite/gcc.dg/pr99990.c new file mode 100644 index 0000000..6878b00 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr99990.c @@ -0,0 +1,12 @@ +/* PR c/99990 */ +/* { dg-do compile } */ +/* { dg-options "" } */ + +#include <stdarg.h> + +void +foo () +{ + va_arg (0, long); /* { dg-error "first argument to 'va_arg' not of type 'va_list'" } */ + void *b[] = 0; /* { dg-error "invalid initializer" } */ +} |