2019-05-22  Richard Biener  <rguenther@suse.de>

	* gimple-fold.c (arith_code_with_undefined_signed_overflow):
	Add ABS_EXPR.
	(rewrite_to_defined_overflow): Handle rewriting ABS_EXPR
	as ABSU_EXPR.

	* gcc.dg/tree-ssa/ssa-lim-13.c: New testcase.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@271501 138bc75d-0d04-0410-961f-82ee72b054a4
4 files changed