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?