clang  3.9.0
Macros | Enumerations | Functions
ExprEngineCallAndReturn.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "PrettyStackTraceLocationContext.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/ParentMap.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Support/SaveAndRestore.h"
Include dependency graph for ExprEngineCallAndReturn.cpp:

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "ExprEngine"
 

Enumerations

enum  DynamicDispatchMode
 
enum  CallInlinePolicy { CIP_Allowed, CIP_DisallowedOnce, CIP_DisallowedAlways }
 

Functions

 STATISTIC (NumOfDynamicDispatchPathSplits,"The # of times we split the path due to imprecise dynamic dispatch info")
 
 STATISTIC (NumInlinedCalls,"The # of times we inlined a call")
 
 STATISTIC (NumReachedInlineCountMax,"The # of times we reached inline count maximum")
 
static std::pair< const Stmt
*, const CFGBlock * > 
getLastStmt (const ExplodedNode *Node)
 
static SVal adjustReturnValue (SVal V, QualType ExpectedTy, QualType ActualTy, StoreManager &StoreMgr)
 Adjusts a return value when the called function's return type does not match the caller's expression type. More...
 
static bool wasDifferentDeclUsedForInlining (CallEventRef<> Call, const StackFrameContext *calleeCtx)
 
static bool isTemporaryPRValue (const CXXConstructExpr *E, SVal V)
 Returns true if the CXXConstructExpr E was intended to construct a prvalue for the region in V. More...
 
 REGISTER_TRAIT_WITH_PROGRAMSTATE (DynamicDispatchBifurcationMap, CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *, unsigned)) bool ExprEngine
 
static ProgramStateRef getInlineFailedState (ProgramStateRef State, const Stmt *CallE)
 
static CallInlinePolicy mayInlineCallKind (const CallEvent &Call, const ExplodedNode *Pred, AnalyzerOptions &Opts)
 
static bool hasMember (const ASTContext &Ctx, const CXXRecordDecl *RD, StringRef Name)
 Returns true if the given C++ class contains a member with the given name. More...
 
static bool isContainerClass (const ASTContext &Ctx, const CXXRecordDecl *RD)
 Returns true if the given C++ class is a container or iterator. More...
 
static bool isContainerMethod (const ASTContext &Ctx, const FunctionDecl *FD)
 Returns true if the given function refers to a method of a C++ container or iterator. More...
 
static bool isCXXSharedPtrDtor (const FunctionDecl *FD)
 Returns true if the given function is the destructor of a class named "shared_ptr". More...
 
static bool mayInlineDecl (AnalysisDeclContext *CalleeADC, AnalyzerOptions &Opts)
 Returns true if the function in CalleeADC may be inlined in general. More...
 
static bool isTrivialObjectAssignment (const CallEvent &Call)
 

Macro Definition Documentation

#define DEBUG_TYPE   "ExprEngine"

Definition at line 29 of file ExprEngineCallAndReturn.cpp.

Enumeration Type Documentation

Enumerator
CIP_Allowed 
CIP_DisallowedOnce 
CIP_DisallowedAlways 

Definition at line 572 of file ExprEngineCallAndReturn.cpp.

Definition at line 394 of file ExprEngineCallAndReturn.cpp.

Function Documentation

static SVal adjustReturnValue ( SVal  V,
QualType  ExpectedTy,
QualType  ActualTy,
StoreManager StoreMgr 
)
static

Adjusts a return value when the called function's return type does not match the caller's expression type.

This can happen when a dynamic call is devirtualized, and the overridding method has a covariant (more specific) return type than the parent's method. For C++ objects, this means we need to add base casts.

Definition at line 127 of file ExprEngineCallAndReturn.cpp.

References clang::ento::StoreManager::evalDerivedToBase(), clang::ExpectedClass, clang::CXXBasePaths::front(), clang::ento::SVal::getAs(), clang::QualType::getCanonicalType(), clang::Type::getCanonicalTypeUnqualified(), clang::Type::getPointeeCXXRecordDecl(), clang::CXXBasePaths::isAmbiguous(), clang::CXXRecordDecl::isDerivedFrom(), and clang::Type::isObjCObjectPointerType().

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

static ProgramStateRef getInlineFailedState ( ProgramStateRef  State,
const Stmt CallE 
)
static
static std::pair<const Stmt*, const CFGBlock*> getLastStmt ( const ExplodedNode Node)
static
static bool hasMember ( const ASTContext Ctx,
const CXXRecordDecl RD,
StringRef  Name 
)
static
static bool isContainerClass ( const ASTContext Ctx,
const CXXRecordDecl RD 
)
static

Returns true if the given C++ class is a container or iterator.

Our heuristic for this is whether it contains a method named 'begin()' or a nested type named 'iterator' or 'iterator_category'.

Definition at line 695 of file ExprEngineCallAndReturn.cpp.

References hasMember().

Referenced by isContainerMethod().

static bool isContainerMethod ( const ASTContext Ctx,
const FunctionDecl FD 
)
static

Returns true if the given function refers to a method of a C++ container or iterator.

We generally do a poor job modeling most containers right now, and might prefer not to inline their methods.

Definition at line 706 of file ExprEngineCallAndReturn.cpp.

References isContainerClass().

Referenced by mayInlineDecl().

static bool isCXXSharedPtrDtor ( const FunctionDecl FD)
static

Returns true if the given function is the destructor of a class named "shared_ptr".

Definition at line 715 of file ExprEngineCallAndReturn.cpp.

References clang::DeclarationName::getAsIdentifierInfo(), clang::NamedDecl::getDeclName(), and clang::CXXMethodDecl::getParent().

Referenced by mayInlineDecl().

static bool isTemporaryPRValue ( const CXXConstructExpr E,
SVal  V 
)
static

Returns true if the CXXConstructExpr E was intended to construct a prvalue for the region in V.

Note that we can't just test for rvalue vs. glvalue because CXXConstructExprs embedded in DeclStmts and initializers are considered rvalues by the AST, and the analyzer would like to treat them as lvalues.

Definition at line 202 of file ExprEngineCallAndReturn.cpp.

References clang::ento::SVal::getAsRegion(), and clang::Expr::isGLValue().

Referenced by clang::ento::ExprEngine::bindReturnValue(), and clang::ento::ExprEngine::processCallExit().

static bool isTrivialObjectAssignment ( const CallEvent Call)
static
static CallInlinePolicy mayInlineCallKind ( const CallEvent Call,
const ExplodedNode Pred,
AnalyzerOptions Opts 
)
static
static bool mayInlineDecl ( AnalysisDeclContext CalleeADC,
AnalyzerOptions Opts 
)
static
REGISTER_TRAIT_WITH_PROGRAMSTATE ( DynamicDispatchBifurcationMap  ,
CLANG_ENTO_PROGRAMSTATE_MAP(const MemRegion *,unsigned  
)
STATISTIC ( NumOfDynamicDispatchPathSplits  ,
"The # of times we split the path due to imprecise dynamic dispatch info"   
)
STATISTIC ( NumInlinedCalls  ,
"The # of times we inlined a call"   
)
STATISTIC ( NumReachedInlineCountMax  ,
"The # of times we reached inline count maximum"   
)
static bool wasDifferentDeclUsedForInlining ( CallEventRef<>  Call,
const StackFrameContext calleeCtx 
)
static