clang::CXXInstanceCall Class Reference

Represents a non-static C++ member function call, no matter how it is written. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"

Inheritance diagram for clang::CXXInstanceCall:

Collaboration diagram for clang::CXXInstanceCall:

Public Member Functions
virtual const Expr *	getCXXThisExpr () const
	Returns the expression representing the implicit 'this' object. More...
virtual SVal	getCXXThisVal () const
	Returns the value of the implicit 'this' object. More...
const FunctionDecl *	getDecl () const override
RuntimeDefinition	getRuntimeDefinition () const override
void	getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override

Static Public Member Functions
static bool	classof (const CallEvent *CA)

Protected Member Functions
void	getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override
	CXXInstanceCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx)
	CXXInstanceCall (const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx)
	CXXInstanceCall (const CXXInstanceCall &Other)

Detailed Description

Represents a non-static C++ member function call, no matter how it is written.

Definition at line 599 of file CallEvent.h.

Constructor & Destructor Documentation

CXXInstanceCall() [1/3]

clang::CXXInstanceCall::CXXInstanceCall ( const CallExpr *  CE, ProgramStateRef  St, const LocationContext *  LCtx  )

inlineprotected

Definition at line 604 of file CallEvent.h.

CXXInstanceCall() [2/3]

clang::CXXInstanceCall::CXXInstanceCall ( const FunctionDecl *  D, ProgramStateRef  St, const LocationContext *  LCtx  )

inlineprotected

Definition at line 607 of file CallEvent.h.

CXXInstanceCall() [3/3]

clang::CXXInstanceCall::CXXInstanceCall ( const CXXInstanceCall &  Other )

inlineprotected

Definition at line 612 of file CallEvent.h.

Member Function Documentation

classof()

static bool clang::CXXInstanceCall::classof ( const CallEvent *  CA )

inlinestatic

Definition at line 628 of file CallEvent.h.

References clang::ento::CE_BEG_CXX_INSTANCE_CALLS, and clang::ento::CE_END_CXX_INSTANCE_CALLS.

getCXXThisExpr()

virtual const Expr* clang::CXXInstanceCall::getCXXThisExpr ( ) const

inlinevirtual

Returns the expression representing the implicit 'this' object.

Reimplemented in clang::CXXMemberOperatorCall, and clang::CXXMemberCall.

Definition at line 616 of file CallEvent.h.

getCXXThisVal()

SVal CXXInstanceCall::getCXXThisVal ( ) const

virtual

Returns the value of the implicit 'this' object.

Reimplemented in clang::CXXDestructorCall.

Definition at line 491 of file CallEvent.cpp.

References clang::ento::SVal::getAs(), clang::ento::CallEvent::getSVal(), and clang::ento::SVal::isUnknownOrUndef().

getDecl()

const FunctionDecl * CXXInstanceCall::getDecl ( ) const

override

Definition at line 453 of file CallEvent.cpp.

References clang::CallExpr::getCallee(), clang::ento::AnyFunctionCall::getDecl(), clang::CallExpr::getDirectCallee(), clang::ento::CallEvent::getOriginExpr(), and clang::ento::CallEvent::getSVal().

Referenced by isTrivialObjectAssignment().

getExtraInvalidatedValues()

void CXXInstanceCall::getExtraInvalidatedValues ( ValueList &  Values, RegionAndSymbolInvalidationTraits *  ETraits  ) const

overrideprotected

Definition at line 465 of file CallEvent.cpp.

References clang::Type::getAsCXXRecordDecl(), clang::ento::SVal::getAsRegion(), clang::ento::MemRegion::getBaseRegion(), clang::ento::CallEvent::getDecl(), clang::Expr::getType(), clang::CXXRecordDecl::hasMutableFields(), clang::Expr::ignoreParenBaseCasts(), clang::ento::RegionAndSymbolInvalidationTraits::setTrait(), and clang::ento::RegionAndSymbolInvalidationTraits::TK_PreserveContents.

getInitialStackFrameContents()

void CXXInstanceCall::getInitialStackFrameContents ( const StackFrameContext *  CalleeCtx, BindingsTy &  Bindings  ) const

override

Definition at line 564 of file CallEvent.cpp.

References clang::ento::StoreManager::attemptDownCast(), clang::Decl::getCanonicalDecl(), clang::CXXMethodDecl::getCanonicalDecl(), clang::ento::SValBuilder::getContext(), clang::ento::SValBuilder::getCXXThis(), clang::ento::CallEvent::getDecl(), clang::LocationContext::getDecl(), clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getPointerType(), clang::ASTContext::getRecordType(), clang::ento::CallEvent::getState(), clang::ento::ProgramStateManager::getStoreManager(), clang::ento::ProgramStateManager::getSValBuilder(), and clang::ento::SVal::isUnknown().

getRuntimeDefinition()

RuntimeDefinition CXXInstanceCall::getRuntimeDefinition ( ) const

override

Definition at line 503 of file CallEvent.cpp.

References clang::ento::DynamicTypeInfo::canBeASubClass(), clang::Type::getAsCXXRecordDecl(), clang::CXXMethodDecl::getCorrespondingMethodInClass(), clang::ento::CallEvent::getDecl(), clang::ento::getDynamicTypeInfo(), clang::CXXMethodDecl::getParent(), clang::Type::getPointeeType(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), clang::ento::CallEvent::getState(), clang::ento::DynamicTypeInfo::getType(), clang::FunctionDecl::hasBody(), clang::QualType::isNull(), clang::ento::DynamicTypeInfo::isValid(), clang::CXXMethodDecl::isVirtual(), and clang::ento::MemRegion::StripCasts().

Referenced by clang::CXXMemberCall::getRuntimeDefinition(), and clang::CXXDestructorCall::getRuntimeDefinition().

---

The documentation for this class was generated from the following files:

• include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
• lib/StaticAnalyzer/Core/CallEvent.cpp