https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87952
--- Comment #7 from Thiago Macieira <thiago at kde dot org> --- Those both support the argument that the failure mode should be the null-pointer dereference, which is what the code did, instead of translating the undefined behaviour to UD2.
