re PR tree-optimization/25382 (VRP does not get a range from BIT_AND_EXPR if the second operand is constant)

gcc/
	PR tree-optimization/25382.
	* tree-vrp.c (extract_range_from_binary_expr): Extract a range
	from BIT_AND_EXPR.

gcc/testsuite/
	PR tree-optimization/25382.
	* gcc.dg/tree-ssa/pr25382.c: New.

From-SVN: r108898