[Bug sanitizer/71498] ubsan bounds checking influenced by surrounding code

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71498

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jun 13 21:08:36 2016
New Revision: 237412

URL: https://gcc.gnu.org/viewcvs?rev=237412&root=gcc&view=rev
Log:
        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.

Added:
    branches/gcc-6-branch/gcc/testsuite/c-c++-common/ubsan/bounds-13.c
Modified:
    branches/gcc-6-branch/gcc/c-family/ChangeLog
    branches/gcc-6-branch/gcc/c-family/c-gimplify.c
    branches/gcc-6-branch/gcc/testsuite/ChangeLog