class PointerValue

Declaration

class PointerValue : public Value { /* full declaration omitted */ };

Description

Models a symbolic pointer. Specifically, any value of type `T*`.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:244

Inherits from: Value

Member Variables

private clang::dataflow::StorageLocation& PointeeLoc

Method Overview

• public PointerValue(clang::dataflow::StorageLocation & PointeeLoc)
• public static bool classof(const clang::dataflow::Value * Val)
• public clang::dataflow::StorageLocation & getPointeeLoc() const

Inherited from Value:

• public getKind
• public getProperty
• public setProperty

Methods

¶PointerValue(
    clang::dataflow::StorageLocation& PointeeLoc)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:246

Parameters

clang::dataflow::StorageLocation& PointeeLoc

¶static bool classof(
    const clang::dataflow::Value* Val)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:249

Parameters

const clang::dataflow::Value* Val

¶clang::dataflow::StorageLocation& getPointeeLoc()
    const

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:253