https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to CTC from comment #7)
> No errors or warnings raised and 0 alarms generated by the analysis when
> analyzed by frama-c.
Still undefined reduced testcase (with `-Wextra -Wall`):
<source>: At top level:
<source>:16:6: warning: return type of 'main' is not 'int' [-Wmain]
16 | void main() { f(&c); }
| ^~~~
Once I change the return type to int, the reduced testcase always passes.
