clang 17.0.0git
|
Models a symbolic pointer. Specifically, any value of type T*
.
More...
#include "clang/Analysis/FlowSensitive/Value.h"
Public Member Functions | |
PointerValue (StorageLocation &PointeeLoc) | |
StorageLocation & | getPointeeLoc () const |
![]() | |
Value (Kind ValKind) | |
Value (const Value &)=delete | |
Value & | operator= (const Value &)=delete |
virtual | ~Value ()=default |
Kind | getKind () const |
Value * | getProperty (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 . | |
Static Public Member Functions | |
static bool | classof (const Value *Val) |
Additional Inherited Members | |
![]() | |
enum class | Kind { Integer , Reference , Pointer , Struct , TopBool , AtomicBool , Conjunction , Disjunction , Negation , Implication , Biconditional } |
Models a symbolic pointer. Specifically, any value of type T*
.
|
inlineexplicit |
Definition at line 274 of file Value.h.
References clang::dataflow::Value::getKind(), and clang::dataflow::Value::Pointer.
|
inline |