diff options
| author | Marek Polacek <polacek@redhat.com> | 2013-09-25 08:58:57 +0000 |
|---|---|---|
| committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-09-25 08:58:57 +0000 |
| commit | b56e978833b09ba47ebc4ebdace007164b493266 (patch) | |
| tree | 083cf293ac56951841b59e2db56b5176d154c73a /gcc/tree.c | |
| parent | 550dfe7f28a031f5ffe59c423c7790d219414ff6 (diff) | |
| download | gcc-b56e978833b09ba47ebc4ebdace007164b493266.zip gcc-b56e978833b09ba47ebc4ebdace007164b493266.tar.gz gcc-b56e978833b09ba47ebc4ebdace007164b493266.tar.bz2 | |
re PR sanitizer/58413 (ubsan constant folding)
PR sanitizer/58413
c-family/
* c-ubsan.c (ubsan_instrument_shift): Don't instrument
an expression if we can prove it is correct.
(ubsan_instrument_division): Likewise. Remove unnecessary
check.
testsuite/
* c-c++-common/ubsan/shift-5.c: New test.
* c-c++-common/ubsan/shift-6.c: New test.
* c-c++-common/ubsan/div-by-zero-5.c: New test.
* gcc.dg/ubsan/c-shift-1.c: New test.
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r202886
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions