From 89b1fbefef25199cbc34c48495fb8df62190cd24 Mon Sep 17 00:00:00 2001 From: Joern Rennecke Date: Mon, 19 Aug 2013 15:13:33 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/tree-ssa/vrp55.c | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index dbab61aa0a7..bdf49700cfd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -5,6 +5,9 @@ * gcc.dg/tree-ssa/ssa-dom-thread-4.c [avr-*-*]: Expect 6 times "Threaded". + * gcc.dg/tree-ssa/vrp55.c: Use keeps_null_pointer_checks to determine + correct test response. + 2013-08-18 Jan Hubicka * g++.dg/ipa/type-inheritance-1.C: New testcase. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp55.c index 7adfe62052d..7a3e726b206 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" } } */ -- 2.30.2