[Bug middle-end/68270] [MPX] Common pattern for variable sized data clashes with MPX bound checks

[marxin at gcc dot gnu.org]

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Tue Mar  7 14:12:52 2017
New Revision: 245951

URL: https://gcc.gnu.org/viewcvs?rev=245951&root=gcc&view=rev
Log:
Use array_at_struct_end_p in tree-chkp.c (PR middle-end/68270).

2017-03-07  Martin Liska  <mli...@suse.cz>

        PR middle-end/68270
        * tree-chkp.c (chkp_may_narrow_to_field): Add new argument ref.
        Use array_at_struct_end_p instead of DECL_CHAIN (field).
        (chkp_narrow_bounds_for_field): Likewise.
        (chkp_parse_array_and_component_ref): Pass one more argument to
        call.
2017-03-07  Martin Liska  <mli...@suse.cz>

        PR middle-end/68270
        * g++.dg/pr68270.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/pr68270.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chkp.c