]> granicus.if.org Git - clang/commitdiff
[analyzer] [tests] Again, make tests more resilient to changes in exploration strategy
authorGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 2 Mar 2018 01:41:19 +0000 (01:41 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Fri, 2 Mar 2018 01:41:19 +0000 (01:41 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@326529 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/MisusedMovedObject.cpp
test/Analysis/loop-unrolling.cpp

index 8c1d76b87f90a073598c130c8716627519f91331..07d52c8236dad6898e5a6962f93be5697df3ef85 100644 (file)
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.MisusedMovedObject -std=c++11 -verify -analyzer-output=text %s
+// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.MisusedMovedObject -std=c++11 -verify -analyzer-output=text -analyzer-config exploration_strategy=unexplored_first_queue %s
 // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.cplusplus.MisusedMovedObject -std=c++11 -analyzer-config exploration_strategy=dfs -verify -analyzer-output=text -DDFS=1 %s
 
 namespace std {
index cd5e9ef8278c8b3b1206956440d8b37d2ddf5262..1507accada5f4ccf74cccbdc4035a5bee3d29df0 100644 (file)
@@ -1,4 +1,4 @@
-// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config unroll-loops=true,cfg-loopexit=true -verify -std=c++11 %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config unroll-loops=true,cfg-loopexit=true -verify -std=c++11 -analyzer-config exploration_strategy=unexplored_first_queue %s
 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config unroll-loops=true,cfg-loopexit=true,exploration_strategy=dfs -verify -std=c++11 -DDFS=1 %s
 
 void clang_analyzer_numTimesReached();