class AnyCXXConstructorCall

Declaration

class AnyCXXConstructorCall : public AnyFunctionCall { /* full declaration omitted */ };

Description

Represents any constructor invocation. This includes regular constructors and inherited constructors.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:845

Inherits from: AnyFunctionCall

Member Variables

Inherited from CallEvent:

protected Data

protected Location

Method Overview

• protected AnyCXXConstructorCall(const clang::Expr * E, const clang::ento::MemRegion * Target, clang::ento::ProgramStateRef St, const clang::LocationContext * LCtx)
• public static bool classof(const clang::ento::CallEvent * Call)
• public clang::ento::SVal getCXXThisVal() const
• protected void getExtraInvalidatedValues(clang::ento::CallEvent::ValueList & Values, clang::ento::RegionAndSymbolInvalidationTraits * ETraits) const
• protected void getInitialStackFrameContents(const clang::StackFrameContext * CalleeCtx, clang::ento::CallEvent::BindingsTy & Bindings) const

Inherited from AnyFunctionCall:

• public argumentsMayEscape
• public classof
• public getDecl
• public getInitialStackFrameContents
• public getRuntimeDefinition
• public parameters

Inherited from CallEvent:

• public argumentsMayEscape
• protected cloneTo
• public cloneWithState
• public cloneWithState
• public dump
• public dump
• public getASTArgumentIndex
• public getAdjustedParameterIndex
• public getArgExpr
• public getArgSVal
• public getArgSourceRange
• public getCalleeAnalysisDeclContext
• public getCalleeIdentifier
• public getCalleeStackFrame
• public getConstructionContext
• public getDecl
• public getDeclaredResultType
• protected getExtraInvalidatedValues
• public getInitialStackFrameContents
• public getKind
• public getKindAsString
• public getLocationContext
• public getNumArgs
• public getOriginExpr
• public getParameterLocation
• public getProgramPoint
• public getResultType
• public getReturnValue
• public getReturnValueUnderConstruction
• public getRuntimeDefinition
• protected getSVal
• public getSourceRange
• public getState
• public hasNonNullArgumentsWithType
• public hasNonZeroCallbackArg
• public hasVoidPointerToNonConstArg
• public invalidateRegions
• public isArgumentConstructedDirectly
• public isCallStmt
• public isForeign
• public isGlobalCFunction
• public isInSystemHeader
• public isVariadic
• public param_type_begin
• public param_type_end
• public parameters
• public setForeign

Methods

¶AnyCXXConstructorCall(
    const clang::Expr* E,
    const clang::ento::MemRegion* Target,
    clang::ento::ProgramStateRef St,
    const clang::LocationContext* LCtx)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:847

Parameters

const clang::Expr* E

const clang::ento::MemRegion* Target

clang::ento::ProgramStateRef St

const clang::LocationContext* LCtx

¶static bool classof(
    const clang::ento::CallEvent* Call)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:865

Parameters

const clang::ento::CallEvent* Call

¶clang::ento::SVal getCXXThisVal() const

Description

Returns the value of the implicit 'this' object.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:863

¶void getExtraInvalidatedValues(
    clang::ento::CallEvent::ValueList& Values,
    clang::ento::
        RegionAndSymbolInvalidationTraits*
            ETraits) const

Description

Used to specify non-argument regions that will be invalidated as a result of this call.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:855

Parameters

clang::ento::CallEvent::ValueList& Values

clang::ento::RegionAndSymbolInvalidationTraits* ETraits

¶void getInitialStackFrameContents(
    const clang::StackFrameContext* CalleeCtx,
    clang::ento::CallEvent::BindingsTy& Bindings)
    const

Description

Populates the given SmallVector with the bindings in the callee's stack frame at the start of this call.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:858

Parameters

const clang::StackFrameContext* CalleeCtx

clang::ento::CallEvent::BindingsTy& Bindings