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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
