PR tree-optimization/80443
commit5a51c124b27b894f19ad487f523470fbfabe3123
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Apr 2017 19:17:32 +0000 (18 19:17 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 18 Apr 2017 19:17:32 +0000 (18 19:17 +0000)
treebd98f09658d83ba8af9235cf1a7c8425added391
parentbe5ab416cde6f5ba5d6f70501e43f38e2aa8cde9
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@246981 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/pr80443.c [new file with mode: 0644]
gcc/tree-vrp.c