diff options
| author | Andy Hutchinson <hutchinsonandy@aim.com> | 2008-06-19 22:08:25 +0000 |
|---|---|---|
| committer | Andy Hutchinson <hutchinsonandy@gcc.gnu.org> | 2008-06-19 22:08:25 +0000 |
| commit | ad0dc07d8a0be745c0366998c0164d7e0df4a1bc (patch) | |
| tree | b4bdc31d124b153e6f053a2fc9d5e628af5e296f /gcc/testsuite/gcc.dg/tree-ssa/vrp02.c | |
| parent | 15f0f116ce6a94ac93805d9f67fcef9622296303 (diff) | |
| download | gcc-ad0dc07d8a0be745c0366998c0164d7e0df4a1bc.zip gcc-ad0dc07d8a0be745c0366998c0164d7e0df4a1bc.tar.gz gcc-ad0dc07d8a0be745c0366998c0164d7e0df4a1bc.tar.bz2 | |
target-supports.exp (check_effective_target_keeps_null_pointer_checks): New function.
* lib/target-supports.exp(check_effective_target_keeps_null_pointer_checks): New function.
* gcc.dg/tree-ssa/20030730-1.c: Use keeps_null_pointer_checks to determine correct test response.
* gcc.dg/tree-ssa/20030730-2.c: Ditto.
* gcc.dg/tree-ssa/pr20701.c: Ditto.
* gcc.dg/tree-ssa/pr20702.c: Ditto.
* gcc.dg/tree-ssa/pr21086.c: Ditto.
* gcc.dg/tree-ssa/vrp02.c:: Ditto.
* gcc.dg/tree-ssa/vrp07.c:: Ditto.
* gcc.dg/tree-ssa/vrp08.c:: Ditto.
From-SVN: r136970
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/vrp02.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp02.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp02.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp02.c index d5cd775..56fca97 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/vrp02.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp02.c @@ -19,6 +19,7 @@ foo (struct A *p, struct A *q) if (p) return x + p->b; } - -/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp1" } } */ +/* Target with fno-delete-null-pointer-checks should not fold check */ +/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */ +/* { dg-final { scan-tree-dump-times "Folding predicate p_.*to 1" 0 "vrp1" { target { keeps_null_pointer_checks } } } } */ /* { dg-final { cleanup-tree-dump "vrp1" } } */ |