re PR tree-optimization/57411 (ICE: verify_ssa failed: definition in block 4 does not dominate use in block 11 with -fno-tree-dce -ftree-vectorize)

	PR tree-optimization/57411
	* tree-vrp.c (simplify_cond_using_ranges): Verify the constant
	operand of the condition will bit into the new type when eliminating
	a cast feeding a condition.

	PR tree-optimization/57411
	* gcc.c-torture/execute/pr57144.c: New test.

From-SVN: r198582