From ba6ec05184b23e9c7ae5266c565c7b7d0c6b8625 Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 22 Aug 2018 11:01:58 +0000 Subject: [PATCH] 2018-08-22 Richard Biener PR tree-optimization/86988 * tree-vrp.c (vrp_prop::check_mem_ref): Bail out on VLAs. * g++.dg/pr86988.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263762 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/pr86988.C | 16 ++++++++++++++++ gcc/tree-vrp.c | 1 + 4 files changed, 27 insertions(+) create mode 100644 gcc/testsuite/g++.dg/pr86988.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3a67b236a37f..7dfdd45dd97f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-08-22 Richard Biener + + PR tree-optimization/86988 + * tree-vrp.c (vrp_prop::check_mem_ref): Bail out on VLAs. + 2018-08-22 Richard Biener PR tree-optimization/86945 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4e38d714ef47..e238d93825a0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-08-22 Richard Biener + + PR tree-optimization/86988 + * g++.dg/pr86988.C: New testcase. + 2018-08-22 Richard Biener PR tree-optimization/86945 diff --git a/gcc/testsuite/g++.dg/pr86988.C b/gcc/testsuite/g++.dg/pr86988.C new file mode 100644 index 000000000000..62fb0f3220da --- /dev/null +++ b/gcc/testsuite/g++.dg/pr86988.C @@ -0,0 +1,16 @@ +// { dg-do compile } +// { dg-options "-O2 -Warray-bounds" } + +struct R { int r; }; +void baz (char *, char *, char *, char *); + +void +foo () +{ + const R a = { 12 }; + char b[1][a.r] = { { "12345678901" } }; + char c[a.r] = { "12345678901" }; + char d[1][a.r] = { { '1', '2', '3', '4', '5', '6', '7', '8', '9', '0', '1', '\0' } }; + char e[a.r] = { '1', '2', '3', '4', '5', '6', '7', '8', '9', '0', '1', '\0' }; + baz (b[0], c, d[0], e); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 24e089b019b7..ead19f159964 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4581,6 +4581,7 @@ vrp_prop::check_mem_ref (location_t location, tree ref, tree reftype = TREE_TYPE (arg); if (POINTER_TYPE_P (reftype) || !COMPLETE_TYPE_P (reftype) + || TREE_CODE (TYPE_SIZE_UNIT (reftype)) != INTEGER_CST || RECORD_OR_UNION_TYPE_P (reftype)) return; -- 2.47.2