CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2\(\);
^EXIT=0$
^SIGNAL=0$
--
^warning: ignoring
function \w+: replacing function pointer by 9 possible targets
