diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 01:31:56 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 01:31:56 +0000 |
| commit | 06b7bd61f4986b18766977530417bf489f8d5578 (patch) | |
| tree | 0cff6b7ce87bea563c1ba7dfdead9993ed8c6425 /clang/test/Analysis/loop-unrolling.cpp | |
| parent | 31254d4366359717fc56350a3043309ac1db55dd (diff) | |
| download | bcm5719-llvm-06b7bd61f4986b18766977530417bf489f8d5578.tar.gz bcm5719-llvm-06b7bd61f4986b18766977530417bf489f8d5578.zip | |
[analyzer] Switch the default exploration strategy to priority queue based on coverage
After the investigation it seems safe to flip the switch.
Differential Revision: https://reviews.llvm.org/D43782
llvm-svn: 326157
Diffstat (limited to 'clang/test/Analysis/loop-unrolling.cpp')
| -rw-r--r-- | clang/test/Analysis/loop-unrolling.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/test/Analysis/loop-unrolling.cpp b/clang/test/Analysis/loop-unrolling.cpp index 844d1f18ea5..cd5e9ef8278 100644 --- a/clang/test/Analysis/loop-unrolling.cpp +++ b/clang/test/Analysis/loop-unrolling.cpp @@ -1,4 +1,5 @@ // 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,exploration_strategy=dfs -verify -std=c++11 -DDFS=1 %s void clang_analyzer_numTimesReached(); void clang_analyzer_warnIfReached(); @@ -234,7 +235,11 @@ int simple_known_bound_loop() { int simple_unknown_bound_loop() { for (int i = 2; i < getNum(); i++) { +#ifdef DFS clang_analyzer_numTimesReached(); // expected-warning {{10}} +#else + clang_analyzer_numTimesReached(); // expected-warning {{13}} +#endif } return 0; } |
