Represents a call to a C++ constructor. More...
#include <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. | |
| 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) | |
| CXXConstructorCall (const CXXConstructorCall &Other) | |
| void | cloneTo (void *Dest) const override |
| void | getExtraInvalidatedValues (ValueList &Values) const override |
Friends | |
| class | CallEventManager |
Detailed Description
Constructor & Destructor Documentation
| clang::CXXConstructorCall::CXXConstructorCall | ( | const CXXConstructExpr * | CE, |
| const MemRegion * | Target, | ||
| ProgramStateRef | St, | ||
| const LocationContext * | LCtx | ||
| ) | [inline, protected] |
Creates a constructor call.
- Parameters:
-
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 698 of file CallEvent.h.
| clang::CXXConstructorCall::CXXConstructorCall | ( | const CXXConstructorCall & | Other | ) | [inline, protected] |
Definition at line 704 of file CallEvent.h.
Member Function Documentation
| static bool clang::CXXConstructorCall::classof | ( | const CallEvent * | CA | ) | [inline, static] |
Definition at line 732 of file CallEvent.h.
References clang::ento::CE_CXXConstructor.
| void clang::CXXConstructorCall::cloneTo | ( | void * | Dest | ) | const [inline, override, protected] |
Definition at line 705 of file CallEvent.h.
| const Expr* clang::CXXConstructorCall::getArgExpr | ( | unsigned | Index | ) | const [inline, override] |
Definition at line 720 of file CallEvent.h.
| SVal CXXConstructorCall::getCXXThisVal | ( | ) | const |
Returns the value of the implicit 'this' object.
Definition at line 567 of file CallEvent.cpp.
Referenced by mayInlineCallKind().
| const CXXConstructorDecl* clang::CXXConstructorCall::getDecl | ( | ) | const [inline, override] |
Definition at line 714 of file CallEvent.h.
Referenced by mayInlineCallKind().
| void CXXConstructorCall::getExtraInvalidatedValues | ( | ValueList & | Values | ) | const [override, protected] |
Definition at line 573 of file CallEvent.cpp.
| void CXXConstructorCall::getInitialStackFrameContents | ( | const StackFrameContext * | CalleeCtx, |
| BindingsTy & | Bindings | ||
| ) | const [override] |
Definition at line 578 of file CallEvent.cpp.
References clang::ento::SValBuilder::getCXXThis(), clang::LocationContext::getDecl(), clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::ento::SValBuilder::getStateManager(), clang::ento::ProgramStateManager::getSValBuilder(), and clang::ento::SVal::isUnknown().
| Kind clang::CXXConstructorCall::getKind | ( | ) | const [inline, override] |
Definition at line 730 of file CallEvent.h.
References clang::ento::CE_CXXConstructor.
| unsigned clang::CXXConstructorCall::getNumArgs | ( | ) | const [inline, override] |
Definition at line 718 of file CallEvent.h.
| virtual const CXXConstructExpr* clang::CXXConstructorCall::getOriginExpr | ( | ) | const [inline, virtual] |
Definition at line 710 of file CallEvent.h.
References clang::ento::CallEvent::getOriginExpr().
Referenced by mayInlineCallKind().
Friends And Related Function Documentation
friend class CallEventManager [friend] |
Definition at line 688 of file CallEvent.h.
The documentation for this class was generated from the following files: