NoQ marked an inline comment as done.
NoQ added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:763-764
// generate a transition to that state.
ProgramStateRef CleanedCheckerSt =
StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K);
----------------
Note: The results of the first invocation are discarded here, as the updated
state is getting frankensteined by attaching `ExprEngine`'s environment and
store to checker's GDM, while range constraints also reside in the GDM.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D70150/new/
https://reviews.llvm.org/D70150
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
