https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65581
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Can you try reducing to a minimal example? it would seem that int main() { return 0; } should already fail this way?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65581
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Can you try reducing to a minimal example? it would seem that int main() { return 0; } should already fail this way?