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 /gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c | |
| 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 'gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c b/gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c index ebdce22..8b53d81 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/20030730-2.c @@ -19,6 +19,6 @@ foo (int attr_kind, unsigned long offset) } /* There should be no IF conditionals. */ -/* { dg-final { scan-tree-dump-times "if " 0 "dom3" { xfail *-*-* } } } */ +/* { dg-final { scan-tree-dump-times "if " 0 "dom3" } } */ /* { dg-final { cleanup-tree-dump "dom3" } } */ |