|
clang
5.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) | |
| void | cloneTo (void *Dest) const override |
| void | getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override |
Friends | |
| class | CallEventManager |
Definition at line 506 of file CallEvent.h.
|
inlineprotected |
Definition at line 510 of file CallEvent.h.
|
inlineprotected |
Definition at line 514 of file CallEvent.h.
|
inlineoverride |
Definition at line 594 of file CallEvent.h.
Definition at line 605 of file CallEvent.h.
References clang::ento::CE_Block.
|
inlineoverrideprotected |
Definition at line 515 of file CallEvent.h.
Definition at line 527 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 596 of file CallEvent.cpp.
|
inlineoverride |
Definition at line 536 of file CallEvent.h.
|
overrideprotected |
Definition at line 610 of file CallEvent.cpp.
|
override |
Definition at line 617 of file CallEvent.cpp.
References addParameterValuesToBindings(), clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::ento::SValBuilder::getStateManager(), and clang::ento::ProgramStateManager::getSValBuilder().
|
inlineoverride |
Definition at line 603 of file CallEvent.h.
References clang::ento::CE_Block.
|
inlineoverride |
Definition at line 525 of file CallEvent.h.
|
inlinevirtual |
Definition at line 521 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 553 of file CallEvent.h.
References I.
|
inlineoverride |
Definition at line 564 of file CallEvent.h.
References clang::Type::getAsCXXRecordDecl(), clang::CXXRecordDecl::getLambdaCallOperator(), and clang::ValueDecl::getType().
|
inline |
Definition at line 543 of file CallEvent.h.
References clang::BlockDecl::isConversionFromLambda().
|
override |
Definition at line 603 of file CallEvent.cpp.
References clang::BlockDecl::parameters().
|
friend |
Definition at line 507 of file CallEvent.h.
1.8.6