class CFGCXXRecordTypedCall

Declaration

class CFGCXXRecordTypedCall : public CFGStmt { /* full declaration omitted */ };

Description

Represents a function call that returns a C++ object by value. This, like constructor, requires a construction context in order to understand the storage of the returned object . In C such tracking is not necessary because no additional effort is required for destroying the object or modeling copy elision. Like CFGConstructor, this element is for now only used by the analyzer's CFG.

Declared at: clang/include/clang/Analysis/CFG.h:184

Inherits from: CFGStmt

Member Variables

Inherited from CFGElement:

protected Data1

protected Data2

Method Overview

• public CFGCXXRecordTypedCall(clang::Expr * E, const clang::ConstructionContext * C)
• private CFGCXXRecordTypedCall()
• public const clang::ConstructionContext * getConstructionContext() const
• public static bool isCXXRecordTypedCall(clang::Expr * E)
• private static bool isKind(const clang::CFGElement & E)

Inherited from CFGStmt:

• public getStmt

Inherited from CFGElement:

• public castAs
• public dump
• public dumpToStream
• public getAs
• public getKind

Methods

¶CFGCXXRecordTypedCall(
    clang::Expr* E,
    const clang::ConstructionContext* C)

Declared at: clang/include/clang/Analysis/CFG.h:197

Parameters

clang::Expr* E

const clang::ConstructionContext* C

¶CFGCXXRecordTypedCall()

Declared at: clang/include/clang/Analysis/CFG.h:217

¶const clang::ConstructionContext*
getConstructionContext() const

Declared at: clang/include/clang/Analysis/CFG.h:210

¶static bool isCXXRecordTypedCall(clang::Expr* E)

Description

Returns true when call expression \p CE needs to be represented by CFGCXXRecordTypedCall, as opposed to a regular CFGStmt.

Declared at: clang/include/clang/Analysis/CFG.h:188

Parameters

clang::Expr* E

¶static bool isKind(const clang::CFGElement& E)

Declared at: clang/include/clang/Analysis/CFG.h:219

Parameters

const clang::CFGElement& E