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

["sabrinadfs at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #3 from Sabrina Souto <sabrinadfs at gmail dot com> ---
I had a similar result, but different failure, for another test+configuration
(see below). I would like to know if it is another (different) bug.

GCC-6.1.0
x86_64-pc-linux-gnu and x86_64-apple-darwin15.4.0

Running the following test:
make -s -C gcc check-gcc RUNTESTFLAGS="dg.exp=pr47086.c
--target_board=unix/-fsanitize=undefined"

GCC throw an ICE:
------------------------------------------------------------------------
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:
In function 'foo':
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_30 = n_1 + 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_15 = _14 - 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
internal compiler error: verify_gimple failed
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
compiler exited with status 1
output is:
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:
In function 'foo':
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_30 = n_1 + 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_15 = _14 - 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
internal compiler error: verify_gimple failed
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

FAIL: gcc.dg/pr47086.c (internal compiler error)
FAIL: gcc.dg/pr47086.c (test for excess errors)
Excess errors:
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_30 = n_1 + 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
error: dead STMT in EH table
_15 = _14 - 1;
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/pr47086.c:13:1:
internal compiler error: verify_gimple failed
libbacktrace could not find executable to open

testcase
/Users/sabrinasouto/workspace/gcc-6.x/gcc-6.1.0/gcc/testsuite/gcc.dg/dg.exp
completed in 2 seconds
------------------------------------------------------------------------


Can anyone confirm this bug?