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

[law at gcc dot gnu dot org]

Author: law
Date: Wed Mar  8 22:07:37 2006
New Revision: 111848

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111848
Log:

	* tree-vrp.c (infer_value_range): Only count pointer uses
	and dereferences if -fdelete-null-pointer-checks is enabled.

	* tree-vrp.c (find_assert_locations): Infer value ranges for
	single use pointers, but do not create ASSERT_EXPRs for them.
	When a non-null range is inferred for a pointer, backwards
	propagate that range to other equivalent pointers through the
	use-def chain.

	* gcc.dg/tree-ssa/20030730-1.c: No longer expected to fail.
	* gcc.dg/tree-ssa/20030730-2.c: No longer expected to fail.
	* g++.dg/tree-ssa/pr26406.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr26406.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/20030730-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c
    trunk/gcc/tree-vrp.c