[PATCH] D12652: [Static Analyzer] Lambda support.
Jordan Rose via cfe-commits
cfe-commits at lists.llvm.org
Thu Sep 10 18:57:55 PDT 2015
jordan_rose added a comment.
A few comments coming lateā¦
================
Comment at: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h:515-517
@@ -511,1 +514,5 @@
+ /// Returns true if lambdas should be inlined. Otherwise a sink node will be
+ /// generated each time a LambdaExpr is visited.
+ bool shouldInlineLambdas();
+
----------------
"inline" is kind of a misnomer, since we may not actually inline lambdas. I would have suggested "model lambdas" or "lambda support".
================
Comment at: lib/StaticAnalyzer/Core/MemRegion.cpp:740-741
@@ -739,3 +739,4 @@
const DeclContext *DC,
- const VarDecl *VD) {
+ const VarDecl *VD,
+ MemRegionManager *Mmgr) {
while (LC) {
----------------
Why the extra parameter?
http://reviews.llvm.org/D12652
More information about the cfe-commits
mailing list