https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72818
--- Comment #1 from pmatos at gcc dot gnu.org --- Please disregard the -fsanitize=undefined in my initial comment. I didn't expect -fsanitize=undefined to caught it. That was an artefact from my original example. I expected a warning from GCC at compile time similar to that of the former example.
