2016-04-27  Marc Glisse  <marc.glisse@inria.fr>

gcc/
	* match.pd (A - B > A, A + B < A): New transformations.

gcc/testsuite/
	* gcc.dg/tree-ssa/overflow-2.c: New testcase.
	* gcc.dg/tree-ssa/minus-ovf.c: Likewise.

From-SVN: r235537