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