baloghadamsoftware marked 3 inline comments as done. baloghadamsoftware added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:127 + const auto *Init = ICC->getCXXCtorInitializer(); + return getObjectUnderConstruction(State, Init, LCtx); + } ---------------- This does not find anything in the map for base initializers. ================ Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:230 const auto *Init = ICC->getCXXCtorInitializer(); assert(Init->isAnyMemberInitializer()); const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); ---------------- This assertion seems to be unfounded. What to do with base initializers? However, in our case it seems that this function should never be executed because to the objects under construction are already in the map. However, I do not know how to handle base initializers. ================ Comment at: clang/test/Analysis/iterator-modeling.cpp:1791 struct simple_derived_iterator: public simple_iterator_base { int& operator*(); ---------------- We are crashing here (assertion) on calling the base initializer. 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