ExprEngineCallAndReturn.cpp File Reference

#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h"
#include "clang/AST/DeclCXX.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/Support/SaveAndRestore.h"

Include dependency graph for ExprEngineCallAndReturn.cpp:

Go to the source code of this file.

Functions
static std::pair< const Stmt *, const CFGBlock * >	getLastStmt (const ExplodedNode *Node)
static unsigned	getNumberStackFrames (const LocationContext *LCtx)
static bool	shouldInlineCallExpr (const CallExpr *CE, ExprEngine *E)
static bool	isPointerToConst (const ParmVarDecl *ParamDecl)
static void	findPtrToConstParams (llvm::SmallSet< unsigned, 1 > &PreserveArgs, const CallOrObjCMessage &Call)
static ProgramStateRef	getReplayWithoutInliningState (ExplodedNode *&N, const CallExpr *CE)

---

Function Documentation

static void findPtrToConstParams	(	llvm::SmallSet< unsigned, 1 > &	PreserveArgs,
		const CallOrObjCMessage &	Call
	)		[static]

Definition at line 302 of file ExprEngineCallAndReturn.cpp.

References clang::IdentifierInfo::getName(), and isPointerToConst().

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

static std::pair<const Stmt*, const CFGBlock*> getLastStmt

(

const ExplodedNode *

Node

)

[static]

Definition at line 57 of file ExprEngineCallAndReturn.cpp.

References clang::LocationContext::getCurrentStackFrame(), clang::BlockEdge::getDst(), clang::ProgramPoint::getLocationContext(), clang::CFGBlock::pred_begin(), and S.

Referenced by clang::ento::SubEngine::processCallExit().

static unsigned getNumberStackFrames

(

const LocationContext *

LCtx

)

[static]

Definition at line 191 of file ExprEngineCallAndReturn.cpp.

References clang::LocationContext::getParent().

static ProgramStateRef getReplayWithoutInliningState	(	ExplodedNode *&	N,
		const CallExpr *	CE
	)		[static]

Definition at line 463 of file ExprEngineCallAndReturn.cpp.

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

static bool isPointerToConst

(

const ParmVarDecl *

ParamDecl

)

[static]

Definition at line 290 of file ExprEngineCallAndReturn.cpp.

References clang::ParmVarDecl::getOriginalType(), and clang::QualType::isConstQualified().

Referenced by findPtrToConstParams().

static bool shouldInlineCallExpr	(	const CallExpr *	CE,
		ExprEngine *	E
	)		[static]

Definition at line 226 of file ExprEngineCallAndReturn.cpp.

References clang::CallExpr::getCallee(), clang::Expr::getType(), and clang::FunctionProtoType::isVariadic().