PR middle-end/92333 - missing variable name referencing VLA in warnings
authorMartin Sebor <msebor@redhat.com>
Tue, 5 Nov 2019 17:05:33 +0000 (17:05 +0000)
committerMartin Sebor <msebor@gcc.gnu.org>
Tue, 5 Nov 2019 17:05:33 +0000 (10:05 -0700)
commit8299dfae9364468096a8005c4b3a83d4fa0f6e42
tree91b38228622227e0e765dfeb1f81e4a365f3ae48
parent3fd4f9242d9b7d2032126dc4851b4fdf5628dc35
PR middle-end/92333 - missing variable name referencing VLA in warnings

PR middle-end/92333 - missing variable name referencing VLA in warnings
PR middle-end/82608 - missing -Warray-bounds on an out-of-bounds VLA index

gcc/testsuite/ChangeLog:

PR middle-end/92333
PR middle-end/82608
* gcc.dg/Warray-bounds-51.c: New test.

gcc/ChangeLog:

PR middle-end/92333
PR middle-end/82608
* tree-vrp.c (vrp_prop::check_array_ref): Handle VLAs with constant
size.
* tree-ssa-ccp.c (fold_builtin_alloca_with_align): Use a meaninful
name and location for a temporary variable.

From-SVN: r277854
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Warray-bounds-51.c [new file with mode: 0644]
gcc/tree-ssa-ccp.c
gcc/tree-vrp.c