baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added a comment.

Any idea for `LazyCompoundVal` parameters of functions not inlined?



================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:231-235
+        if (dyn_cast_or_null<InitListExpr>(LCtx->getParentMap().getParent(E))) 
{
+          MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
+          return std::make_pair(
+              State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)));
+        }
----------------
Did you mean this piece of code? It returns `&temp_object{struct 
simple_iterator_base, S44016}`. Is this correct? If so, I will factor out this 
code and put it into a common function to be used by both this function and the 
original one.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77229/new/

https://reviews.llvm.org/D77229



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

Reply via email to