test.desc

CORE
main.c
--verbosity 10 --pointer-check --remove-const-function-pointers
^\s*IF fp_tbl\[.*i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f4 THEN GOTO [0-9]$
^EXIT=0$
^SIGNAL=0$
--
^\s*IF fp_tbl\[.*i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[.*i\] == f9 THEN GOTO [0-9]$
^warning: ignoring