diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/Warray-bounds-50.c | 114 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
4 files changed, 127 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b94a323..b8b120d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2019-11-04 Martin Sebor <msebor@redhat.com> + + PR tree-optimization/92349 + * tree-vrp.c (vrp_prop::check_array_ref): Avoid assuming struct + memebers have constant sizes. + 2019-11-04 Andre Vieira <andre.simoesdiasvieira@arm.com> * tree-vect-loop.c (vect_analyze_loop): Remove orig_loop_vinfo diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2059b59..5fa63c3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-11-04 Martin Sebor <msebor@redhat.com> + + PR tree-optimization/92349 + * gcc.dg/Warray-bounds-50.c: New test. + 2019-11-04 Joel Hutton <Joel.Hutton@arm.com> * gcc.dg/vect/bb-slp-40.c: New test. diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-50.c b/gcc/testsuite/gcc.dg/Warray-bounds-50.c new file mode 100644 index 0000000..d6edfac --- /dev/null +++ b/gcc/testsuite/gcc.dg/Warray-bounds-50.c @@ -0,0 +1,114 @@ +/* PR middle-end/92349 - ICE in -Warray-bounds on a VLA member + { dg-do compile } + { dg-options "-O2 -Wall" } */ + +typedef __SIZE_TYPE__ size_t; + +void sink (void*, ...); + +void mem_vla_cst_store_idx (void) +{ + int n = 3; + + struct { + char a[n], b; + } s; + + char *p = s.a; + + s.a[0] = 0; + s.b = 0; + + *++p = 1; + *++p = 2; + + sink (&s, p); +} + +void mem_vla_range_store_idx (int n) +{ + if (n < 3 || 4 < n) + n = 3; + + struct { + char a[n], b; + } s; + + char *p = s.a; + + s.a[0] = 0; + s.b = 0; + + *++p = 1; + *++p = 2; + + sink (&s, p); +} + +void mem_vla_var_store_idx (size_t n) +{ + struct { + char a[n], b; + } s; + + char *p = s.a; + + s.a[0] = 0; + s.b = 0; + + *++p = 1; + *++p = 2; + + sink (&s, p); +} + + +void mem_vla_cst_store_ptr (void) +{ + int n = 3; + + struct { + char a[n], b; + } s; + + char *p = s.a; + + *p++ = __LINE__; + *p++ = __LINE__; + *p++ = __LINE__; + + sink (&s, p); +} + +void mem_vla_range_store_ptr (int n) +{ + if (n < 3 || 4 < n) + n = 3; + + struct { + char a[n], b; + } s; + + char *p = s.a; + + *p++ = __LINE__; + *p++ = __LINE__; + *p++ = __LINE__; + + sink (&s, p); +} + +void mem_vla_var_store_ptr (size_t n) +{ + struct { + char a[n], b; + } s; + + char *p = s.a; + + *p++ = __LINE__; + *p++ = __LINE__; + *p++ = __LINE__; + + sink (&s, p); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 3125861..da6b615 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4164,7 +4164,8 @@ vrp_prop::check_array_ref (location_t location, tree ref, /* Try to determine the size of the trailing array from its initializer (if it has one). */ if (tree refsize = component_ref_size (arg, &interior_zero_len)) - maxbound = refsize; + if (TREE_CODE (refsize) == INTEGER_CST) + maxbound = refsize; } if (maxbound == ptrdiff_max |