tag fd37b0822846ef8bf0bb80cb4ebdc7bac39f926a
tagger Joseph Myers <jsm28@gcc.gnu.org> Mon May 12 21:11:58 2008 +0100
object 08c9b67abb3492666cbf2f26bb7777f318d07c80

Tagging source as tags/gcc-4_2_4-rc1

commit 08c9b67abb3492666cbf2f26bb7777f318d07c80
author Ian Lance Taylor <iant@google.com> Mon May 12 18:04:51 2008 +0000
committer Ian Lance Taylor <ian@gcc.gnu.org> Mon May 12 18:04:51 2008 +0000
tree f91bc7ea5de431882167e85706d9084caba5de5d
parent b757d0317c249dea435ac8e7c0926da92088569b

flags.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Define.

./:	* flags.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Define.
	* fold-const.c (fold_overflow_warning): Remove assertion.
	(pointer_may_wrap_p): New static function.
	(fold_comparison): If appropriate, test
	POINTER_TYPE_OVERFLOW_UNDEFINED, and issue an overflow warning.
	(fold_binary): Test POINTER_TYPE_OVERFLOW_UNDEFINED when
	reassociating a pointer type.
	* doc/invoke.texi (Optimize Options): Document that
	-fstrict-overflow applies to pointer wraparound.
testsuite/:
	* gcc.dg/strict-overflow-6.c: New.
	* gcc.dg/no-strict-overflow-7.c: New.
	* gcc.dg/Wstrict-overflow-22.c: New.
	* gcc.c-torture/compile/20080419-1.c: New.
	* gcc.dg/tree-ssa/loop-17.c: Use -O2.

From-SVN: r135222