[PATCH] D82256: [analyzer] Enabling ctr in evalCall event
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sat Jun 20 08:58:46 PDT 2020
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Fantastic, thank you!
================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:586
ExplodedNodeSet dstCallEvaluated;
+ EvalCallOptions CallOpts;
getCheckerManager().runCheckersForEvalCall(dstCallEvaluated, dstPreVisit,
----------------
If you want you can make it an optional argument of `runCheckersForEvalCall()`, like it's done in `defaultEvalCall()`.
================
Comment at: clang/test/Analysis/cxxctr-evalcall-analysis-order.cpp:34
+// CHECK-NEXT: PostCall (C::C) [CXXConstructorCall]
\ No newline at end of file
----------------
No NEwLiNE aT EnD Of FiLE
================
Comment at: clang/test/Analysis/new-ctor-conservative.cpp:30
clang_analyzer_eval(s[0].x == 1); // expected-warning{{UNKNOWN}}
+ clang_analyzer_eval(s[1].x == 1); // expected-warning{{UNKNOWN}}
}
----------------
Thx!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D82256/new/
https://reviews.llvm.org/D82256
More information about the cfe-commits
mailing list