2010-02-16  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/41043
	* tree-vrp.c  (vrp_var_may_overflow): Only ask SCEV for
	real loops.
	(vrp_visit_assignment_or_call): Do not ask SCEV for regular
	statements ...
	(vrp_visit_phi_node): ... but only for loop PHI nodes.

	* gfortran.dg/pr41043.f90: New testcase.
	* gcc.dg/Wstrict-overflow-18.c: XFAIL.

From-SVN: r156808