dcoughlin accepted this revision.
dcoughlin added a comment.
This revision is now accepted and ready to land.

LGTM with the TODO and the test case I requested inline.



================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:487
+    if (const MemRegion *MR = I.second.getAsRegion())
+      SymReaper.markElementIndicesLive(MR);
+  }
----------------
Do we have a test for the MemRegion case? Commenting it out doesn't seem to 
affect the tests.


================
Comment at: lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:607
+    const CXXConstructExpr *CtorExpr = Ctor.getOriginExpr();
+    const Stmt *ParentExpr = CurLC->getParentMap().getParent(CtorExpr);
+
----------------
Can you add a TODO saying that we really shouldn't be using the parent map 
here? That is fragile and is a sign we're not providing enough context.



https://reviews.llvm.org/D40560



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to