| commit | 79218abbbc680d3329b2e3d460bb0414333f3889 | |
| author | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Nov 2017 13:26:39 +0000 (20 13:26 +0000) | ||
| committer | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Nov 2017 13:26:39 +0000 (20 13:26 +0000) | ||
| tree | c2030da4e2fde65a2785961d95230a9465028600 | treesnapshot (tar.gz zip) |
| parent | d8dcb4c5131110c9fdfbae6191e3e1bb88afe8d4 | commitdiff |
VRP: x+1 and -x cannot be INT_MIN
2017-11-20 Marc Glisse <marc.glisse@inria.fr>
gcc/
* vr-values.c (extract_range_from_binary_expr): Use a full range
for VR_VARYING.
gcc/testsuite/
PR testsuite/82951
* gcc.c-torture/execute/20040409-1.c: Move invalid tests...
* gcc.c-torture/execute/20040409-1w.c: ... here with -fwrapv.
* gcc.c-torture/execute/20040409-2.c: Move invalid tests...
* gcc.c-torture/execute/20040409-2w.c: ... here with -fwrapv.
* gcc.c-torture/execute/20040409-3.c: Move invalid tests...
* gcc.c-torture/execute/20040409-3w.c: ... here with -fwrapv.
* gcc.dg/tree-ssa/cmpmul-1.c: Tweak condition.
* gcc.dg/tree-ssa/vrp118.c: New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254954 138bc75d-0d04-0410-961f-82ee72b054a4
2017-11-20 Marc Glisse <marc.glisse@inria.fr>
gcc/
* vr-values.c (extract_range_from_binary_expr): Use a full range
for VR_VARYING.
gcc/testsuite/
PR testsuite/82951
* gcc.c-torture/execute/20040409-1.c: Move invalid tests...
* gcc.c-torture/execute/20040409-1w.c: ... here with -fwrapv.
* gcc.c-torture/execute/20040409-2.c: Move invalid tests...
* gcc.c-torture/execute/20040409-2w.c: ... here with -fwrapv.
* gcc.c-torture/execute/20040409-3.c: Move invalid tests...
* gcc.c-torture/execute/20040409-3w.c: ... here with -fwrapv.
* gcc.dg/tree-ssa/cmpmul-1.c: Tweak condition.
* gcc.dg/tree-ssa/vrp118.c: New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254954 138bc75d-0d04-0410-961f-82ee72b054a4