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