a.sidorin added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:288
+ // this-region of the parent stack frame).
+ if (dyn_cast_or_null<InitListExpr>(LCtx->getParentMap().getParent(CE))) {
+ MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
----------------
Could we try to make another lookup to see if we're initializing a variable of
non-reference type? If so, we can make MemRegionManager use the region of the
variable; otherwise, we can always fallback to temporary (it seems like
sometimes this situation can happen out of DeclStmts). Or am I missing
something?
https://reviews.llvm.org/D40841
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
