re PR tree-optimization/25485 (VRP misses an "if" with TRUTH_AND_EXPR statement that could be optimized away)

gcc/
	PR tree-optimization/25485
	* tree-vrp.c (extract_range_from_binary_expr): Handle cases
	where one of the operands of TRUTH_AND_EXPR and TRUTH_OR_EXPR
	is known to be false and true, respectively.

gcc/testsuite/
	PR tree-optimization/25485
	* gcc.dg/tree-ssa/pr25485.c: New.

From-SVN: r109704