| commit | 2309001d8f33d20d7c8a65363e1710eef70f456c | |
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 31 Oct 2014 11:18:13 +0000 (31 11:18 +0000) | ||
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Fri, 31 Oct 2014 11:18:13 +0000 (31 11:18 +0000) | ||
| tree | ff9d28eec53e7130189a016c309bdf94e61e8086 | treesnapshot (tar.gz zip) |
| parent | ee46f4066888502bcae0f08c67f19ae8adb85f56 | commitdiff |
PR sanitizer/63697
* tree-vrp.c (simplify_internal_call_using_ranges): For subcode ==
MINUS_EXPR, check overflow on vr0.min - vr1.max and vr0.max - vr1.min
instead of vr0.min - vr1.min and vr0.max - vr1.max.
* c-c++-common/ubsan/overflow-sub-3.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216962 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (simplify_internal_call_using_ranges): For subcode ==
MINUS_EXPR, check overflow on vr0.min - vr1.max and vr0.max - vr1.min
instead of vr0.min - vr1.min and vr0.max - vr1.max.
* c-c++-common/ubsan/overflow-sub-3.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216962 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/c-c++-common/ubsan/overflow-sub-3.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |