[PATCH] D14736: [analyzer] DeadStoresChecker: Treat locals captured by reference in C++ lambdas as escaped.

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Tue Nov 17 00:41:07 PST 2015


xazax.hun added a comment.

This looks good to me, I have one question inline.


================
Comment at: lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp:425
@@ +424,3 @@
+    llvm::DenseMap<const VarDecl *, FieldDecl *> CaptureFields;
+    FieldDecl *ThisCaptureField;
+    LambdaClass->getCaptureFields(CaptureFields, ThisCaptureField);
----------------
As far as I can see ThisCaptureField is not used. Does this solution work, when there is a dead store to a class member (through captured this)?


http://reviews.llvm.org/D14736





More information about the cfe-commits mailing list