clang
7.0.0
|
Represents a call to a C++ constructor. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
Public Member Functions | |
virtual const CXXConstructExpr * | getOriginExpr () const |
const CXXConstructorDecl * | getDecl () const override |
unsigned | getNumArgs () const override |
const Expr * | getArgExpr (unsigned Index) const override |
SVal | getCXXThisVal () const |
Returns the value of the implicit 'this' object. More... | |
void | getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override |
Kind | getKind () const override |
Static Public Member Functions | |
static bool | classof (const CallEvent *CA) |
Protected Member Functions | |
CXXConstructorCall (const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) | |
Creates a constructor call. More... | |
CXXConstructorCall (const CXXConstructorCall &Other)=default | |
void | cloneTo (void *Dest) const override |
void | getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override |
Friends | |
class | CallEventManager |
|
inlineprotected |
Creates a constructor call.
CE | The constructor expression as written in the source. |
Target | The region where the object should be constructed. If NULL, a new symbolic region will be used. |
St | The path-sensitive state at this point in the program. |
LCtx | The location context at this point in the program. |
Definition at line 838 of file CallEvent.h.
References MultiVersioning::Target.
|
protecteddefault |
Definition at line 874 of file CallEvent.h.
References clang::ento::CE_CXXConstructor.
|
inlineoverrideprotected |
Definition at line 846 of file CallEvent.h.
|
inlineoverride |
Definition at line 862 of file CallEvent.h.
SVal CXXConstructorCall::getCXXThisVal | ( | ) | const |
Returns the value of the implicit 'this' object.
Definition at line 795 of file CallEvent.cpp.
References clang::ento::CallEvent::Data.
|
inlineoverride |
Definition at line 856 of file CallEvent.h.
|
overrideprotected |
Definition at line 801 of file CallEvent.cpp.
References clang::ento::CallEvent::Data, clang::ento::SVal::getAsSymbol(), clang::ento::RegionAndSymbolInvalidationTraits::setTrait(), and clang::ento::RegionAndSymbolInvalidationTraits::TK_SuppressEscape.
|
override |
Definition at line 812 of file CallEvent.cpp.
References clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::ento::CallEvent::getState(), and clang::ento::SVal::isUnknown().
|
inlineoverride |
Definition at line 872 of file CallEvent.h.
References clang::ento::CE_CXXConstructor.
|
inlineoverride |
Definition at line 860 of file CallEvent.h.
|
inlinevirtual |
Definition at line 852 of file CallEvent.h.
References clang::ento::CallEvent::getOriginExpr().
|
friend |
Definition at line 828 of file CallEvent.h.