mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-27 19:36:05 +00:00
Code Issues Projects Releases Wiki Activity

[analyzer] Fix the filename for the exploration_order test.

Browse Source 
Ensures that the test is being run.

llvm-svn: 332135
This commit is contained in:
George Karpenkov 2018-05-11 20:38:39 +00:00
parent 2ef385e150
commit c41c5b2747
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
clang/test/Analysis/exploration_order/prefer_unexplored.cc → clang/test/Analysis/exploration_order/prefer_unexplored.cpp
View File

@ -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'}}
}