baloghadamsoftware added a comment.
Testing this patch on `test/Analysis/iterator-modeling.cpp` crashes with the
following output:
Handling operator++()
Return Value: lazyCompoundVal{0x55655390c9d8,i1}
Bingo!
State->get<ObjectsUnderConstruction>(Key): &i1
Key.getItem().getKind(): 0
clang:
/home/edmbalo/llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:472:
static clang::ento::ProgramStateRef
clang::ento::ExprEngine::addObjectUnderConstruction(clang::ento::ProgramStateRef,
const clang::ConstructionContextItem&, const clang::LocationContext*,
clang::ento::SVal): Assertion `!State->get<ObjectsUnderConstruction>(Key) ||
Key.getItem().getKind() == ConstructionContextItem::TemporaryDestructorKind'
failed.
...
What could be the problem here?
Repository:
rG LLVM Github Monorepo
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
