CORE
../unreachable-instructions-basic-text/unreachable.c
--unreachable-instructions --constants
^EXIT=0$
^SIGNAL=0$
not_called
// 28 file unreachable.c line 5 function not_called$
not_called#return_value = x \+ x;$
// 29 file unreachable.c line 5 function not_called$
GOTO 1$
dead_inside
// 34 file unreachable.c line 12 function dead_inside$
y = y \+ 1;$
obviously_dead
// 40 file unreachable-instructions-basic-text/unreachable.c line 20 function obviously_dead
x = x \+ 1;
--
^warning: ignoring
