https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110818
--- Comment #9 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #8)
> (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.
No it doesn't:
https://godbolt.org/z/5vr1oPExb
Looks like .LC0 is not aligned but GCC 11 attempts to use movdqa to load it.
