clang 20.0.0git
Public Member Functions | Static Public Member Functions | List of all members
clang::dataflow::PointerValue Class Referencefinal

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

#include "clang/Analysis/FlowSensitive/Value.h"

Inheritance diagram for clang::dataflow::PointerValue:
Inheritance graph
[legend]

Public Member Functions

 PointerValue (StorageLocation &PointeeLoc)
 
StorageLocationgetPointeeLoc () const
 
- Public Member Functions inherited from clang::dataflow::Value
 Value (Kind ValKind)
 
 Value (const Value &)=delete
 
Valueoperator= (const Value &)=delete
 
virtual ~Value ()=default
 
Kind getKind () const
 
ValuegetProperty (llvm::StringRef Name) const
 Returns the value of the synthetic property with the given Name or null if the property isn't assigned a value.
 
void setProperty (llvm::StringRef Name, Value &Val)
 Assigns Val as the value of the synthetic property with the given Name.
 
llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > properties () const
 

Static Public Member Functions

static bool classof (const Value *Val)
 

Additional Inherited Members

- Public Types inherited from clang::dataflow::Value
enum class  Kind {
  Integer , Pointer , TopBool , AtomicBool ,
  FormulaBool
}
 

Detailed Description

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

Definition at line 170 of file Value.h.

Constructor & Destructor Documentation

◆ PointerValue()

clang::dataflow::PointerValue::PointerValue ( StorageLocation PointeeLoc)
inlineexplicit

Definition at line 172 of file Value.h.

Member Function Documentation

◆ classof()

static bool clang::dataflow::PointerValue::classof ( const Value Val)
inlinestatic

Definition at line 175 of file Value.h.

References clang::dataflow::Value::getKind(), and clang::dataflow::Value::Pointer.

◆ getPointeeLoc()

StorageLocation & clang::dataflow::PointerValue::getPointeeLoc ( ) const
inline

Definition at line 179 of file Value.h.


The documentation for this class was generated from the following file: