[PATCH] D43104: [analyzer] Find correct region for simple temporary destructor calls and inline them if possible.

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:939
         std::make_pair(D.getBindTemporaryExpr(), Pred->getStackFrame()));
+    // *MRPtr may still be null when the construction context for the temporary
+    // was not implemented.
----------------
Can we add an assertion somewhere else (like when leaving a stack frame context) to make sure that the expected temporaries have all been removed from InitializedTemporaries?


Repository:
  rC Clang

https://reviews.llvm.org/D43104