projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52744dd) | patch
re PR tree-optimization/80426 (wrong manipulation of range based on INT_MIN)
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 19 Apr 2017 19:27:09 +0000 (19:27 +0000)
committerJeff Law <law@gcc.gnu.org>
Wed, 19 Apr 2017 19:27:09 +0000 (13:27 -0600)
commitfe1e7d0e9b7479f13b84670ac3b56cf5244d877c
treee92d2d185b565e9dbbadd2eab3b245262ecb273ftree
parent52744dd73c677f0fcbf80249af7b4163f72c3326commit | diff
re PR tree-optimization/80426 (wrong manipulation of range based on INT_MIN)

PR tree-optimization/80426
* tree-vrp.c (extract_range_from_binary_expr_1): For an additive
operation on symbolic operands, also compute the overflow for the
invariant part when the operation degenerates into a negation.

PR tree-optimization/80426
* gcc.c-torture/execute/20170419-1.c: New test.

Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r247007
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.c-torture/execute/20170429-1.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history