re PR tree-optimization/80443 (ICE on valid code at -O2 on x86_64-linux-gnu: in set_v...
authorJakub Jelinek <jakub@redhat.com>
Tue, 18 Apr 2017 19:17:32 +0000 (21:17 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 18 Apr 2017 19:17:32 +0000 (21:17 +0200)
commit0155ed56af293eac25c3eda84b0977c82659d2d9
treebd98f09658d83ba8af9235cf1a7c8425added391
parentf380f6082268c9e88fe635b198d9e6e735f07c5f
re PR tree-optimization/80443 (ICE on valid code at -O2 on x86_64-linux-gnu: in set_value_range, at tree-vrp.c:367)

PR tree-optimization/80443
* tree-vrp.c (intersect_ranges): For signed 1-bit precision type,
instead of adding 1, subtract -1 and similarly instead of subtracting
1 add -1.

* gcc.c-torture/compile/pr80443.c: New test.

From-SVN: r246981
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/pr80443.c [new file with mode: 0644]
gcc/tree-vrp.c