diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-03-08 22:07:37 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-03-08 22:07:37 +0000 |
| commit | 581f18857bd28bf20e979e0b24f0c9cfade61003 (patch) | |
| tree | fe11681f27645614115303f8349df8e8836f7a42 /gcc/loop-init.c | |
| parent | 33e6be9f514a2fa4c58182eb9ac0e69f37416c11 (diff) | |
| download | ppe42-gcc-581f18857bd28bf20e979e0b24f0c9cfade61003.tar.gz ppe42-gcc-581f18857bd28bf20e979e0b24f0c9cfade61003.zip | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111848 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/loop-init.c')
0 files changed, 0 insertions, 0 deletions
