> >> gcc: > >> PR sanitizer/68418 > >> * c-family/c-ubsan.c (ubsan_instrument_shift): Disable > >> sanitization of left shifts for wrapping signed types as well. > >> > >> gcc/testsuite: > >> PR sanitizer/68418 > >> * gcc.dg/ubsan/c99-wrapv-shift-1.c, > >> gcc.dg/ubsan/c99-wrapv-shift-2.c: New testcases. > Doesn't this change how pointer types are handled?
Why would pointer types be shifted at all (at the ubsan level, which is basically the AST)? Paolo
