[PATCH] D77229: [Analyzer][WIP] Avoid handling of LazyCompundVals in IteratorModeling

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:127
+      const auto *Init = ICC->getCXXCtorInitializer();
+      return getObjectUnderConstruction(State, Init, LCtx);
+    }
----------------
NoQ wrote:
> baloghadamsoftware wrote:
> > This does not find anything in the map for base initializers.
> Yup, that's because they're not handled through the objects-under-construction map. See `ExprEngine::handleConstructor()` - the switch on constructor kinds.
> 
> That said, i don't think you need to look it up from the map; just re-compute the region instead exactly how `ExprEngine::handleConstructor()` does it.
(this should be easier because it'll be exactly one line of code here, assuming the common part is factored out from `handleConstructor()`)


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

https://reviews.llvm.org/D77229