]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e6a7cf) | patch
PR tree-optimization/54810
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Oct 2012 09:37:25 +0000 (09:37 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Oct 2012 09:37:25 +0000 (09:37 +0000)
commit0bec0083033b249326f113364ab92620f12c969d
tree53aad70f269552ef0dbc7184a9b6589dc2ac08d4tree
parent4e6a7cfc989e09a53d1669d3ebdc4f780e4e24bccommit | diff
PR tree-optimization/54810
* tree-vrp.c (register_edge_assert_for_2): Handle
NAME = (unsigned) NAME2; if (NAME cmp CST) for
narrowing casts to unsigned integral type like
NAME = NAME2 & CST2; if (NAME cmp CST) where CST2
is the max value of the unsigned integral type.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192115 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | history
gcc/testsuite/gcc.dg/tree-ssa/vrp85.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git