[Bug sanitizer/68418] ubsan complains about left shifts even with -fwrapv

[bonzini at gnu dot org]

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

--- Comment #2 from Paolo Bonzini <bonzini at gnu dot org> ---
Author: bonzini
Date: Sat Dec 12 08:29:27 2015
New Revision: 231582

URL: https://gcc.gnu.org/viewcvs?rev=231582&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/ubsan/c99-wrapv-shift-1.c
    trunk/gcc/testsuite/gcc.dg/ubsan/c99-wrapv-shift-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/c-ubsan.c
    trunk/gcc/testsuite/ChangeLog