PR tree-optimization/51721
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 12 Mar 2012 11:12:49 +0000 (11:12 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 12 Mar 2012 11:12:49 +0000 (11:12 +0000)
commit22676c8f0f124684ef5bd081fed86d9b9e312f76
tree11c78b9836d0bb51eefa3cf90c77aa150a02f8bc
parent7f23b9c077526d41c0f29fb9f0515d86dcefc400
PR tree-optimization/51721
* tree-vrp.c (register_edge_assert_for_2): Add asserts for unsvar
if (int) unsvar cmp CST.

* gcc.dg/tree-ssa/vrp64.c: New test.

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