clang 19.0.0git
ExprEngineObjC.cpp File Reference
#include "clang/AST/StmtObjC.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"

Go to the source code of this file.


static void populateObjCForDestinationSet (ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, StmtNodeBuilder &Bldr, bool hasElements)
 Generate a node in Bldr for an iteration statement using ObjC for-loop iterator.

Function Documentation

◆ populateObjCForDestinationSet()

static void populateObjCForDestinationSet ( ExplodedNodeSet dstLocation,
SValBuilder svalBuilder,
const ObjCForCollectionStmt S,
const Stmt elem,
SVal  elementV,
SymbolManager SymMgr,
const NodeBuilderContext currBldrCtx,
StmtNodeBuilder Bldr,
bool  hasElements