https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124834
--- Comment #6 from Drea Pinski <pinskia at gcc dot gnu.org> ---
>Note that the call to foo is never actually reached, so the undefined behavior
>does not happen.
Yes but isn't that is the same as doing:
```
int f();
int g()
{
f();
}
int main()
{
return 0;
}
```
The undefined behavior is not reached here either.
