2013-10-08 Marc Glisse <marc.glisse@inria.fr>
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 8 Oct 2013 10:39:49 +0000 (10:39 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 8 Oct 2013 10:39:49 +0000 (10:39 +0000)
commitd00cc43d6c196d64e94e1eef4299f6bf9e18c8f7
treed6b986b5b052a0040274877460393e4e53588b02
parent2884d265d26d2965f3bd380b281628a7f418a027
2013-10-08  Marc Glisse  <marc.glisse@inria.fr>

PR tree-optimization/58480
gcc/
* tree-vrp.c (infer_nonnull_range): New function.
(infer_value_range): Call infer_nonnull_range.

gcc/testsuite/
* gcc.dg/tree-ssa/pr58480.c: New file.

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