r135222 - in /branches/gcc-4_2-branch/gcc: Chan...

[ian at gcc dot gnu dot org]

Author: ian
Date: Mon May 12 18:04:51 2008
New Revision: 135222

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135222
Log:
./:
	* 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.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/compile/20080419-1.c
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/Wstrict-overflow-22.c
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/no-strict-overflow-7.c
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/strict-overflow-6.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/doc/invoke.texi
    branches/gcc-4_2-branch/gcc/flags.h
    branches/gcc-4_2-branch/gcc/fold-const.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/tree-ssa/loop-17.c