re PR c/71512 (ICE: verify_gimple failed with UBSAN)
authorJakub Jelinek <jakub@redhat.com>
Fri, 12 Aug 2016 19:56:26 +0000 (21:56 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Fri, 12 Aug 2016 19:56:26 +0000 (21:56 +0200)
commitb0cea284970de2f81be3a0564afa10a15f7802d6
tree452ba5392a5f769e1c601d722988d77bf90bf45b
parente86aefb8e955a9545ffd16c960ff70cbad5fc9ad
re PR c/71512 (ICE: verify_gimple failed with UBSAN)

PR c/71512
* ubsan.c (instrument_si_overflow): Pass true instead of false
to gsi_replace.
(pass_ubsan::execute): Call gimple_purge_dead_eh_edges at the end
of bbs.  Return TODO_cleanup_cfg if any returned true.

* g++.dg/ubsan/pr71512.C: New test.
* c-c++-common/ubsan/pr71512-1.c: New test.
* c-c++-common/ubsan/pr71512-2.c: New test.

From-SVN: r239430
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/ubsan/pr71512-1.c [new file with mode: 0644]
gcc/testsuite/c-c++-common/ubsan/pr71512-2.c [new file with mode: 0644]
gcc/testsuite/g++.dg/ubsan/pr71512.C [new file with mode: 0644]
gcc/ubsan.c