OSDN Git Service

PR tree-optimization/51247
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 29 Nov 2011 21:03:09 +0000 (21:03 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 29 Nov 2011 21:03:09 +0000 (21:03 +0000)
commit0418ac74cabf62c15e0256d50e0d232d9e3939ad
tree5587e1b6f3b377f5fb72c7b42e04089e716e597a
parent7206b04b3b0a7f97c8bc57598c86b84d70365ae6
PR tree-optimization/51247
* tree-vrp.c (extract_range_from_assert): For signed 1-bit precision
types instead of adding 1 subtract -1 and instead of subtracting 1
add -1 to avoid overflows.

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

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