From: George Karpenkov <ekarpenkov@apple.com>
Date: Fri, 11 May 2018 20:38:39 +0000 (+0000)
Subject: [analyzer] Fix the filename for the exploration_order test.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=25df49a02e13f8ad0c9bf6de06b943a3f4c91834;p=clang

[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 317b88ae1e..29e7633577 100644
--- 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'}}
 }