tree-vrp.c (infer_value_range): Only count pointer uses and dereferences if -fdelete...
authorJeff Law <law@redhat.com>
Wed, 8 Mar 2006 22:07:37 +0000 (15:07 -0700)
committerJeff Law <law@gcc.gnu.org>
Wed, 8 Mar 2006 22:07:37 +0000 (15:07 -0700)
commit60c9ad4691a758d23173ffad0f95e4b1a6c8c4b8
treefe11681f27645614115303f8349df8e8836f7a42
parentd6c122f73bdb73f53e4ebf913e5c0e402860f429
tree-vrp.c (infer_value_range): Only count pointer uses and dereferences if -fdelete-null-pointer-checks is enabled.

* 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.

From-SVN: r111848
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/tree-ssa/pr26406.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/20030730-1.c
gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c
gcc/tree-vrp.c