clang
7.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
Public Member Functions | |
virtual const CallExpr * | getOriginExpr () const |
unsigned | getNumArgs () const override |
const Expr * | getArgExpr (unsigned Index) const override |
const BlockDataRegion * | getBlockRegion () const |
Returns the region associated with this instance of the block. More... | |
const BlockDecl * | getDecl () const override |
bool | isConversionFromLambda () const |
const VarRegion * | getRegionStoringCapturedLambda () const |
For a block converted from a C++ lambda, returns the block VarRegion for the variable holding the captured C++ lambda record. More... | |
RuntimeDefinition | getRuntimeDefinition () const override |
bool | argumentsMayEscape () const override |
void | getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override |
ArrayRef< ParmVarDecl * > | parameters () const override |
Kind | getKind () const override |
Static Public Member Functions | |
static bool | classof (const CallEvent *CA) |
Protected Member Functions | |
BlockCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) | |
BlockCall (const BlockCall &Other)=default | |
void | cloneTo (void *Dest) const override |
void | getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override |
Friends | |
class | CallEventManager |
Definition at line 556 of file CallEvent.h.
|
inlineprotected |
Definition at line 560 of file CallEvent.h.
|
protecteddefault |
|
inlineoverride |
Definition at line 644 of file CallEvent.h.
Definition at line 655 of file CallEvent.h.
References clang::ento::CE_Block.
|
inlineoverrideprotected |
Definition at line 565 of file CallEvent.h.
|
inlineoverride |
Definition at line 577 of file CallEvent.h.
const BlockDataRegion * BlockCall::getBlockRegion | ( | ) | const |
Returns the region associated with this instance of the block.
This may be NULL if the block's origin is unknown.
Definition at line 751 of file CallEvent.cpp.
References clang::ento::SVal::getAsRegion(), clang::ento::CallEvent::getOriginExpr(), and clang::ento::CallEvent::getSVal().
|
inlineoverride |
Definition at line 586 of file CallEvent.h.
|
overrideprotected |
Definition at line 765 of file CallEvent.cpp.
|
override |
Definition at line 772 of file CallEvent.cpp.
References addParameterValuesToBindings(), clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::ento::CallEvent::getState(), and clang::ento::CallEvent::parameters().
|
inlineoverride |
Definition at line 653 of file CallEvent.h.
References clang::ento::CE_Block.
|
inlineoverride |
Definition at line 575 of file CallEvent.h.
|
inlinevirtual |
Definition at line 571 of file CallEvent.h.
References clang::ento::CallEvent::getOriginExpr().
|
inline |
For a block converted from a C++ lambda, returns the block VarRegion for the variable holding the captured C++ lambda record.
Definition at line 603 of file CallEvent.h.
|
inlineoverride |
Definition at line 614 of file CallEvent.h.
References clang::Type::getAsCXXRecordDecl(), clang::CXXRecordDecl::getLambdaCallOperator(), and clang::ValueDecl::getType().
|
inline |
Definition at line 593 of file CallEvent.h.
References clang::BlockDecl::isConversionFromLambda().
|
override |
Definition at line 758 of file CallEvent.cpp.
References clang::ento::CallEvent::getDecl(), and clang::BlockDecl::parameters().
|
friend |
Definition at line 557 of file CallEvent.h.