diff options
Diffstat (limited to 'clang/test/Analysis/loop-widening.c')
| -rw-r--r-- | clang/test/Analysis/loop-widening.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/loop-widening.c b/clang/test/Analysis/loop-widening.c index 3378893b325..edaabfb28e9 100644 --- a/clang/test/Analysis/loop-widening.c +++ b/clang/test/Analysis/loop-widening.c @@ -1,5 +1,5 @@ -// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-max-loop 4 -analyzer-config widen-loops=true -verify %s -// RUN: %clang_analyze_cc1 -DTEST_NULL_TERM -analyzer-checker=core,unix.Malloc,debug.ExprInspection,alpha.cplusplus.IteratorRange -analyzer-max-loop 4 -analyzer-config widen-loops=true -verify %s +// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Malloc,debug.ExprInspection -analyzer-max-loop 4 -analyzer-config widen-loops=true -verify -analyzer-config eagerly-assume=false %s +// RUN: %clang_analyze_cc1 -DTEST_NULL_TERM -analyzer-checker=core,unix.Malloc,debug.ExprInspection,alpha.cplusplus.IteratorRange -analyzer-max-loop 4 -analyzer-config widen-loops=true -verify -analyzer-config eagerly-assume=false %s void clang_analyzer_eval(int); void clang_analyzer_warnIfReached(); |
