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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Apr 6 10:18:52 PDT 2020


NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:127
+      const auto *Init = ICC->getCXXCtorInitializer();
+      return getObjectUnderConstruction(State, Init, LCtx);
+    }
----------------
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.


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

https://reviews.llvm.org/D77229





More information about the cfe-commits mailing list