diff options
| author | Jeff Law <law@redhat.com> | 2006-03-08 15:07:37 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2006-03-08 15:07:37 -0700 |
| commit | 60c9ad4691a758d23173ffad0f95e4b1a6c8c4b8 (patch) | |
| tree | fe11681f27645614115303f8349df8e8836f7a42 /libjava/java/lang/natString.cc | |
| parent | d6c122f73bdb73f53e4ebf913e5c0e402860f429 (diff) | |
| download | gcc-60c9ad4691a758d23173ffad0f95e4b1a6c8c4b8.zip gcc-60c9ad4691a758d23173ffad0f95e4b1a6c8c4b8.tar.gz gcc-60c9ad4691a758d23173ffad0f95e4b1a6c8c4b8.tar.bz2 | |
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
Diffstat (limited to 'libjava/java/lang/natString.cc')
0 files changed, 0 insertions, 0 deletions