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.

Functions
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  )

static

Generate a node in Bldr for an iteration statement using ObjC for-loop iterator.

Definition at line 46 of file ExprEngineObjC.cpp.

References clang::ento::NodeBuilderContext::blockCount(), clang::ento::SymbolManager::conjureSymbol(), clang::ento::StmtNodeBuilder::generateNode(), clang::ento::SVal::getAs(), clang::ento::Loc::isLocType(), clang::ento::SValBuilder::makeIntVal(), clang::ento::SValBuilder::makeLoc(), clang::ento::ExprEngine::setWhetherHasMoreIteration(), clang::T, and V.

Referenced by clang::ento::ExprEngine::VisitObjCForCollectionStmt().