diff options
| author | Roger Sayle <roger@nextmovesoftware.com> | 2023-07-21 20:37:59 +0100 |
|---|---|---|
| committer | Roger Sayle <roger@nextmovesoftware.com> | 2023-07-21 20:37:59 +0100 |
| commit | cfe53af09364d94fb86013f85ef598a1d47e0657 (patch) | |
| tree | e03398cf9c1a718077ae9a52d51d0ed2be08334e | |
| parent | 77d0f9ec3809b4d2e32c36069b6b9239d301c030 (diff) | |
| download | gcc-cfe53af09364d94fb86013f85ef598a1d47e0657.zip gcc-cfe53af09364d94fb86013f85ef598a1d47e0657.tar.gz gcc-cfe53af09364d94fb86013f85ef598a1d47e0657.tar.bz2 | |
PR c/110699: Defend against error_mark_node in gimplify.cc.
This patch resolves PR c/110669, an ICE-after-error regression, by adding
a check that the array type isn't error_mark_node in gimplify_compound_lval.
2023-07-21 Roger Sayle <roger@nextmovesoftware.com>
Richard Biener <rguenther@suse.de>
gcc/ChangeLog
PR c/110699
* gimplify.cc (gimplify_compound_lval): If the array's type
is error_mark_node then return GS_ERROR.
gcc/testsuite/ChangeLog
PR c/110699
* gcc.dg/pr110699.c: New test case.
| -rw-r--r-- | gcc/gimplify.cc | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr110699.c | 14 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/gimplify.cc b/gcc/gimplify.cc index 36e5df0..320920e 100644 --- a/gcc/gimplify.cc +++ b/gcc/gimplify.cc @@ -3209,6 +3209,9 @@ gimplify_compound_lval (tree *expr_p, gimple_seq *pre_p, gimple_seq *post_p, { tree t = expr_stack[i]; + if (error_operand_p (TREE_OPERAND (t, 0))) + return GS_ERROR; + if (TREE_CODE (t) == ARRAY_REF || TREE_CODE (t) == ARRAY_RANGE_REF) { /* Deal with the low bound and element type size and put them into diff --git a/gcc/testsuite/gcc.dg/pr110699.c b/gcc/testsuite/gcc.dg/pr110699.c new file mode 100644 index 0000000..be77613 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr110699.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +typedef __attribute__((__vector_size__(64))) int T; + +void f(void) { + extern char a[64], b[64]; /* { dg-message "previous" "note" } */ + void *p = a; + T q = *(T *)&b[0]; +} + +void g() { + extern char b; /* { dg-error "conflicting types" } */ +} |