[clang] [StaticAnalyzer] Fix state update in VisitObjCForCollectionStmt (PR #124477)
Ziqing Luo via cfe-commits
cfe-commits at lists.llvm.org
Thu Jan 30 12:44:34 PST 2025
================
@@ -124,24 +124,26 @@ void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S,
bool isContainerNull = state->isNull(collectionV).isConstrainedTrue();
- ExplodedNodeSet dstLocation;
- evalLocation(dstLocation, S, elem, Pred, state, elementV, false);
----------------
ziqingluo-90 wrote:
Thanks for the explanation. Now the name `dstLocation` makes sense to me.
https://github.com/llvm/llvm-project/pull/124477
More information about the cfe-commits
mailing list