Charusso marked 2 inline comments as done.
Charusso added inline comments.
================
Comment at: clang/include/clang/Analysis/AnalysisDeclContext.h:486
const StackFrameContext *getStackFrame(AnalysisDeclContext *Ctx,
- LocationContext const *Parent,
- const Stmt *S,
----------------
Deadlines, eh?
================
Comment at: clang/test/Analysis/loop-unrolling.cpp:371
for (int i = 0; i < 9; i++) {
-#ifdef ANALYZER_CM_Z3
- clang_analyzer_numTimesReached(); // expected-warning {{13}}
+#ifdef DFS
+ clang_analyzer_numTimesReached(); // expected-warning {{18}}
----------------
The `ninja check-clang-analyzer-z3` is not really working and we definitely
have different results based on the traversal, so I just swapped that.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D65587/new/
https://reviews.llvm.org/D65587
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
