From: Joern Rennecke <joern.rennecke@embecosm.com>
Date: Mon, 19 Aug 2013 15:13:33 +0000 (+0000)
Subject: vrp55.c: Use keeps_null_pointer_checks to determine correct test response.
X-Git-Tag: releases/gcc-4.9.0~4529
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=89b1fbefef25199cbc34c48495fb8df62190cd24;p=thirdparty%2Fgcc.git

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
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dbab61aa0a7b..bdf49700cfde 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  <jh@suse.cz>
 
 	* 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 7adfe62052d4..7a3e726b206c 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" } } */