[Bug c/71512] ICE: verify_gimple failed with UBSAN

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Aug 12 19:56:26 2016
New Revision: 239430

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

Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/pr71512-1.c
    trunk/gcc/testsuite/c-c++-common/ubsan/pr71512-2.c
    trunk/gcc/testsuite/g++.dg/ubsan/pr71512.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/ubsan.c