class CallExitBegin

Declaration

class CallExitBegin : public ProgramPoint { /* full declaration omitted */ };

Description

Represents a point when we start the call exit sequence (for inlined call). The call exit is simulated with a sequence of nodes, which occur between CallExitBegin and CallExitEnd. The following operations occur between the two program points: - CallExitBegin - Bind the return value - Run Remove dead bindings (to clean up the dead symbols from the callee). - CallExitEnd

Declared at: clang/include/clang/Analysis/ProgramPoint.h:667

Inherits from: ProgramPoint

Member Variables

Method Overview

• public CallExitBegin(const clang::StackFrameContext * L, const clang::ReturnStmt * RS)
• private CallExitBegin()
• public const clang::ReturnStmt * getReturnStmt() const
• private static bool isKind(const clang::ProgramPoint & Location)

Inherited from ProgramPoint:

• public Profile
• public castAs
• public dump
• public getAs
• protected getData1
• protected getData2
• public getHashValue
• public getKind
• public getLocationContext
• public getProgramPoint
• public getStackFrame
• public getTag
• public isPurgeKind
• public printJson
• protected setData2
• public withTag

Methods

¶CallExitBegin(const clang::StackFrameContext* L,
              const clang::ReturnStmt* RS)

Declared at: clang/include/clang/Analysis/ProgramPoint.h:670

Parameters

const clang::StackFrameContext* L

const clang::ReturnStmt* RS

¶CallExitBegin()

Declared at: clang/include/clang/Analysis/ProgramPoint.h:679

¶const clang::ReturnStmt* getReturnStmt() const

Declared at: clang/include/clang/Analysis/ProgramPoint.h:673

¶static bool isKind(
    const clang::ProgramPoint& Location)

Declared at: clang/include/clang/Analysis/ProgramPoint.h:680

Parameters

const clang::ProgramPoint& Location