Represents a C function or static C++ member function call. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
Inheritance diagram for clang::ento::SimpleFunctionCall:
Public Member Functions | |
| const CallExpr * | getOriginExpr () const override |
| Returns the expression whose value will be the result of this call. | |
| const FunctionDecl * | getDecl () const override |
| Returns the declaration of the function or method that will be called. | |
| unsigned | getNumArgs () const override |
| Returns the number of arguments (explicit and implicit). | |
| const Expr * | getArgExpr (unsigned Index) const override |
| Returns the expression associated with a given argument. | |
| Kind | getKind () const override |
| Returns the kind of call this is. | |
| StringRef | getKindAsString () const override |
 Public Member Functions inherited from clang::ento::AnyFunctionCall | |
| const FunctionDecl * | getDecl () const override |
| Returns the declaration of the function or method that will be called. | |
| RuntimeDefinition | getRuntimeDefinition () const override |
| Returns the definition of the function or method that will be called. | |
| bool | argumentsMayEscape () const override |
| Returns true if any of the arguments are known to escape to long- term storage, even if this method will not modify them. | |
| void | getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override |
| Populates the given SmallVector with the bindings in the callee's stack frame at the start of this call. | |
| ArrayRef< ParmVarDecl * > | parameters () const override |
| Return call's formal parameters. | |
| Public Member Functions inherited from clang::ento::CallEvent | |
| CallEvent & | operator= (const CallEvent &)=delete |
| virtual | ~CallEvent ()=default |
| virtual Kind | getKind () const =0 |
| Returns the kind of call this is. | |
| virtual StringRef | getKindAsString () const =0 |
| virtual const Decl * | getDecl () const |
| Returns the declaration of the function or method that will be called. | |
| bool | isForeign () const |
| void | setForeign (bool B) const |
| const ProgramStateRef & | getState () const |
| The state in which the call is being evaluated. | |
| const LocationContext * | getLocationContext () const |
| The context in which the call is being evaluated. | |
| const CFGBlock::ConstCFGElementRef & | getCFGElementRef () const |
| virtual RuntimeDefinition | getRuntimeDefinition () const =0 |
| Returns the definition of the function or method that will be called. | |
| virtual const Expr * | getOriginExpr () const |
| Returns the expression whose value will be the result of this call. | |
| virtual unsigned | getNumArgs () const =0 |
| Returns the number of arguments (explicit and implicit). | |
| bool | isInSystemHeader () const |
| Returns true if the callee is known to be from a system header. | |
| virtual SourceRange | getSourceRange () const |
| Returns a source range for the entire call, suitable for outputting in diagnostics. | |
| virtual SVal | getArgSVal (unsigned Index) const |
| Returns the value of a given argument at the time of the call. | |
| virtual const Expr * | getArgExpr (unsigned Index) const |
| Returns the expression associated with a given argument. | |
| virtual SourceRange | getArgSourceRange (unsigned Index) const |
| Returns the source range for errors associated with this argument. | |
| QualType | getResultType () const |
| Returns the result type, adjusted for references. | |
| SVal | getReturnValue () const |
| Returns the return value of the call. | |
| bool | hasNonNullArgumentsWithType (bool(*Condition)(QualType)) const |
| Returns true if the type of any of the non-null arguments satisfies the condition. | |
| bool | hasNonZeroCallbackArg () const |
| Returns true if any of the arguments appear to represent callbacks. | |
| bool | hasVoidPointerToNonConstArg () const |
| Returns true if any of the arguments is void*. | |
| virtual bool | argumentsMayEscape () const |
| Returns true if any of the arguments are known to escape to long- term storage, even if this method will not modify them. | |
| bool | isGlobalCFunction (StringRef SpecificName=StringRef()) const |
Returns true if the callee is an externally-visible function in the top-level namespace, such as malloc. | |
| const IdentifierInfo * | getCalleeIdentifier () const |
| Returns the name of the callee, if its name is a simple identifier. | |
| ProgramPoint | getProgramPoint (bool IsPreVisit=false, const ProgramPointTag *Tag=nullptr) const |
| Returns an appropriate ProgramPoint for this call. | |
| ProgramStateRef | invalidateRegions (unsigned BlockCount, ProgramStateRef Orig=nullptr) const |
| Returns a new state with all argument regions invalidated. | |
| virtual void | getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const =0 |
| Populates the given SmallVector with the bindings in the callee's stack frame at the start of this call. | |
| template<typename T > | |
| CallEventRef< T > | cloneWithState (ProgramStateRef NewState) const |
| Returns a copy of this CallEvent, but using the given state. | |
| CallEventRef | cloneWithState (ProgramStateRef NewState) const |
| Returns a copy of this | |