diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2017-11-20 14:26:39 +0100 |
---|---|---|
committer | Marc Glisse <glisse@gcc.gnu.org> | 2017-11-20 13:26:39 +0000 |
commit | 50dec459c62701af05e4cfb097ee2c95944495cc (patch) | |
tree | c2030da4e2fde65a2785961d95230a9465028600 /gcc/tree-streamer.c | |
parent | 9aab553436aa25a1306cdd03c0fae107828e8725 (diff) | |
download | gcc-50dec459c62701af05e4cfb097ee2c95944495cc.zip gcc-50dec459c62701af05e4cfb097ee2c95944495cc.tar.gz gcc-50dec459c62701af05e4cfb097ee2c95944495cc.tar.bz2 |
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.
From-SVN: r254954
Diffstat (limited to 'gcc/tree-streamer.c')
0 files changed, 0 insertions, 0 deletions