[analyzer] Fix the filename for the exploration_order test.

Ensures that the test is being run.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@332135 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Analysis/exploration_order/prefer_unexplored.cc b/test/Analysis/exploration_order/prefer_unexplored.cpp
similarity index 81%
rename from test/Analysis/exploration_order/prefer_unexplored.cc
rename to test/Analysis/exploration_order/prefer_unexplored.cpp
index 317b88ae1eef1fdfc3792010d2eea7724aa6c09c..29e763357727e9503d92ee1b48e073af8302ae85 100644 (file)
--- a/test/Analysis/exploration_order/prefer_unexplored.cc
+++ b/test/Analysis/exploration_order/prefer_unexplored.cpp
@@ -1,5 +1,5 @@
-// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -analyzer-config exploration_strategy=unexplored_first -analyzer-output=text -verify %s | FileCheck %s
-// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -analyzer-config exploration_strategy=unexplored_first_queue -analyzer-output=text -verify %s | FileCheck %s
+// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -analyzer-config exploration_strategy=unexplored_first -analyzer-output=text -verify %s
+// RUN: %clang_analyze_cc1 -w -analyzer-checker=core -analyzer-config exploration_strategy=unexplored_first_queue -analyzer-output=text -verify %s
 
 extern int coin();
 
@@ -7,6 +7,7 @@ int foo() {
     int *x = 0; // expected-note {{'x' initialized to a null pointer value}}
     while (coin()) { // expected-note{{Loop condition is true}}
         if (coin())  // expected-note {{Taking true branch}}
+                     // expected-note@-1 {{Assuming the condition is true}}
             return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
                        // expected-note@-1{{Dereference of null pointer (loaded from variable 'x')}}
     }
@@ -14,15 +15,16 @@ int foo() {
 }
 
 void bar() {
-    while(coin()) // expected-note{{Loop condition is true}}
-        if (coin()) // expected-note {{Assuming the condition is true}}
-            foo(); // expected-note{{Calling 'foo'}}
+    while(coin())
+        if (coin())
+            foo();
 }
 
 int foo2() {
     int *x = 0; // expected-note {{'x' initialized to a null pointer value}}
     while (coin()) { // expected-note{{Loop condition is true}}
         if (coin())  // expected-note {{Taking false branch}}
+                     // expected-note@-1 {{Assuming the condition is false}}
             return false;
         else
             return *x; // expected-warning{{Dereference of null pointer (loaded from variable 'x')}}
@@ -34,7 +36,8 @@ int foo2() {
 void bar2() {
     while(coin()) // expected-note{{Loop condition is true}}
         if (coin()) // expected-note {{Assuming the condition is false}}
-          return false;
+                    // expected-note@-1 {{Taking false branch}}
+          return;
         else
             foo(); // expected-note{{Calling 'foo'}}
 }