Base class for all values computed by abstract interpretation.
More...
#include "clang/Analysis/FlowSensitive/Value.h"
Base class for all values computed by abstract interpretation.
Don't use Value
instances by value. All Value
instances are allocated and owned by DataflowAnalysisContext
.
Definition at line 33 of file Value.h.
◆ Kind
Enumerator |
---|
Integer | |
Pointer | |
TopBool | |
AtomicBool | |
FormulaBool | |
Definition at line 35 of file Value.h.
◆ Value() [1/2]
clang::dataflow::Value::Value |
( |
Kind |
ValKind | ) |
|
|
inlineexplicit |
◆ Value() [2/2]
clang::dataflow::Value::Value |
( |
const Value & |
| ) |
|
|
delete |
◆ ~Value()
virtual clang::dataflow::Value::~Value |
( |
| ) |
|
|
virtualdefault |
◆ getKind()
Kind clang::dataflow::Value::getKind |
( |
| ) |
const |
|
inline |
◆ getProperty()
Value* clang::dataflow::Value::getProperty |
( |
llvm::StringRef |
Name | ) |
const |
|
inline |
Returns the value of the synthetic property with the given Name
or null if the property isn't assigned a value.
Definition at line 59 of file Value.h.
◆ operator=()
Value& clang::dataflow::Value::operator= |
( |
const Value & |
| ) |
|
|
delete |
◆ properties()
llvm::iterator_range<llvm::StringMap<Value *>::const_iterator> clang::dataflow::Value::properties |
( |
| ) |
const |
|
inline |
◆ setProperty()
void clang::dataflow::Value::setProperty |
( |
llvm::StringRef |
Name, |
|
|
Value & |
Val |
|
) |
| |
|
inline |
Assigns Val
as the value of the synthetic property with the given Name
.
Properties may not be set on RecordValue
s; use synthetic fields instead (for details, see documentation for RecordStorageLocation
).
Definition at line 68 of file Value.h.
The documentation for this class was generated from the following file:
- include/clang/Analysis/FlowSensitive/Value.h