[Bug sanitizer/107893] gcc trunk at -O0 (UBSan) misses a Null-pointer-dereference

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107893

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
That is,

int main() {
  int *a = 0;
   (a[0] | a[1]) >> 056;
}

works at -O0:

t.c:3:6: runtime error: load of null pointer of type 'int'