http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58480
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- Author: glisse Date: Tue Oct 8 10:39:49 2013 New Revision: 203271 URL: http://gcc.gnu.org/viewcvs?rev=203271&root=gcc&view=rev Log: 2013-10-08 Marc Glisse <marc.gli...@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. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c (with props) Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c ('svn:eol-style' added) Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c ('svn:keywords' added)