diff options
author | Joern Rennecke <joern.rennecke@embecosm.com> | 2013-08-19 15:13:33 +0000 |
---|---|---|
committer | Joern Rennecke <amylaar@gcc.gnu.org> | 2013-08-19 16:13:33 +0100 |
commit | 89b1fbefef25199cbc34c48495fb8df62190cd24 (patch) | |
tree | 76e5fd0621d3f3e0ccf3e4d492fedfbde376cd84 /gcc/testsuite/gcc.dg/tree-ssa/vrp55.c | |
parent | dced9cd71aa491b1d62d836506fe497e165caa51 (diff) | |
download | gcc-89b1fbefef25199cbc34c48495fb8df62190cd24.zip gcc-89b1fbefef25199cbc34c48495fb8df62190cd24.tar.gz gcc-89b1fbefef25199cbc34c48495fb8df62190cd24.tar.bz2 |
vrp55.c: Use keeps_null_pointer_checks to determine correct test response.
* gcc.dg/tree-ssa/vrp55.c: Use keeps_null_pointer_checks to determine
correct test response.
From-SVN: r201843
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/vrp55.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp55.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c index 7adfe62..7a3e726 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c @@ -9,6 +9,7 @@ fu (char *p, int x) arf (); } -/* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp1" } } */ +/* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp1" { target { ! keeps_null_pointer_checks } } } } */ +/* { dg-final { scan-tree-dump-times "Threaded jump" 0 "vrp1" { target { keeps_null_pointer_checks } } } } */ /* { dg-final { cleanup-tree-dump "vrp1" } } */ |