* tree-vrp.c (stmt_interesting_for_vrp): Some statements with
	virtual operands are interesting.
	(vrp_visit_stmt): Corresponding changes.

	* gcc.dg/tree-ssa/20030807-2.c: No longer expected to fail.

From-SVN: r112011