https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111636
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Which suggests you can't have undefined behaviour at runtime that didn't have a warning, because you can't run the code without instantiating it. Do you have a complete example that have undefined behaviour at runtime and doesn't warn?