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, ConstCFGElementRef elem, SVal elementV, SymbolManager &SymMgr, unsigned NumVisitedCurrent, NodeBuilder &Bldr, bool hasElements)
	Generate a node in Bldr for an iteration statement using ObjC for-loop iterator.

Function Documentation

populateObjCForDestinationSet()

void populateObjCForDestinationSet ( ExplodedNodeSet & dstLocation, SValBuilder & svalBuilder, const ObjCForCollectionStmt * S, ConstCFGElementRef elem, SVal elementV, SymbolManager & SymMgr, unsigned NumVisitedCurrent, NodeBuilder & 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::SymbolManager::conjureSymbol(), clang::ento::NodeBuilder::generateNode(), clang::ento::SVal::getAs(), clang::ento::Loc::isLocType(), clang::ento::SValBuilder::makeIntVal(), clang::ento::SValBuilder::makeLoc(), clang::ento::ExprEngine::setWhetherHasMoreIteration(), and V.

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