r125334 - in /trunk/gcc: ChangeLog testsuite/Ch...

[ian@gcc.gnu.org]

Author: ian
Date: Tue Jun  5 13:18:22 2007
New Revision: 125334

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125334
Log:
./:
	* tree-vrp.c (compare_values_warnv): Check TREE_NO_WARNING on a
	PLUS_EXPR or MINUS_EXPR node before setting *strict_overflow_p.
	(extract_range_from_assert): Set TREE_NO_WARNING when creating an
	expression.
	(test_for_singularity): Likewise.
testsuite/:
	* gcc.dg/Wstrict-overflow-19.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-19.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c