[PATCH] Proposal on how to fix temporary dtors.

[Manuel Klimek]

Giving this a shot at pulling it together, and got a couple more questions...

================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:54-56
@@ -53,1 +53,5 @@
 
+REGISTER_TRAIT_WITH_PROGRAMSTATE(
+    InitializedTemporariesSet,
+    llvm::ImmutableSet<const CXXBindTemporaryExpr *>);
+
----------------
Jordan Rose wrote:
> This needs to include the current StackFrameContext as well (for recursive functions). You can get that from the current LocationContext.
Can you elaborate on how I would put that into a datastructure? Just use a std::pair? (doesn't seem to work with ImmutableSet though)

Also, I seem unable to write a test that breaks because of this - any hints would be highly welcome.

http://reviews.llvm.org/D3627