]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa31006) | patch
re PR sanitizer/68418 (ubsan complains about left shifts even with -fwrapv)
authorPaolo Bonzini <bonzini@gnu.org>
Sat, 12 Dec 2015 08:29:27 +0000 (08:29 +0000)
committerPaolo Bonzini <bonzini@gcc.gnu.org>
Sat, 12 Dec 2015 08:29:27 +0000 (08:29 +0000)
commitb300764434b6e25bbab71e8de38987d288cfd703
treec6d37a44fa512582906ef96d63d3924eaf03937ftree
parentaa31006f5d68298d48dee002d57c7af1ac1ec438commit | diff
re PR sanitizer/68418 (ubsan complains about left shifts even with -fwrapv)

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.

From-SVN: r231582
gcc/ChangeLog diff | blob | blame | history
gcc/c-family/c-ubsan.c diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | history
gcc/testsuite/gcc.dg/ubsan/c99-wrapv-shift-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/ubsan/c99-wrapv-shift-2.c [new file with mode: 0644] blob
GNU Compiler Collection
This page took 0.061275 seconds and 5 git commands to generate.