]> git.ipfire.org Git - thirdparty/gcc.git/commit
backport: re PR sanitizer/71498 (ubsan bounds checking influenced by surrounding...
authorJakub Jelinek <jakub@redhat.com>
Thu, 7 Jul 2016 12:42:43 +0000 (14:42 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Thu, 7 Jul 2016 12:42:43 +0000 (14:42 +0200)
commit210bc3f9c0d6f6a8b35acf436ed1492f587608ef
treebdbe88927961534a87eb9ad6a8d28bc64ace234a
parentdff1ad34a472315e456dfa6188ae5088e36228ac
backport: re PR sanitizer/71498 (ubsan bounds checking influenced by surrounding code)

Backported from mainline
2016-06-13  Jakub Jelinek  <jakub@redhat.com>

PR sanitizer/71498
* c-gimplify.c (ubsan_walk_array_refs_r): Set *walk_subtrees = 0 on
all BIND_EXPRs, and on all BIND_EXPRs recurse also on BIND_EXPR_BODY.

* c-c++-common/ubsan/bounds-13.c: New test.

From-SVN: r238095
gcc/c-family/ChangeLog
gcc/c-family/c-gimplify.c
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/bounds-13.c [new file with mode: 0644]