|
clang 22.0.0git
|
Base class for all values computed by abstract interpretation. More...
#include "clang/Analysis/FlowSensitive/Value.h"
Public Types | |
| enum class | Kind { Integer , Pointer , TopBool , AtomicBool , FormulaBool } |
Public Member Functions | |
| 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. | |
| llvm::iterator_range< llvm::StringMap< Value * >::const_iterator > | properties () const |
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.
|
strong |
|
inlineexplicit |
Definition at line 45 of file Value.h.
Referenced by clang::dataflow::BoolValue::BoolValue(), clang::dataflow::BoolValue::classof(), clang::dataflow::IntegerValue::classof(), clang::dataflow::PointerValue::classof(), getProperty(), clang::dataflow::IntegerValue::IntegerValue(), operator=(), clang::dataflow::PointerValue::PointerValue(), setProperty(), and Value().
|
virtualdefault |
|
inline |
Definition at line 55 of file Value.h.
Referenced by clang::dataflow::areEquivalentValues(), clang::dataflow::AtomicBoolValue::classof(), clang::dataflow::BoolValue::classof(), clang::dataflow::FormulaBoolValue::classof(), clang::dataflow::IntegerValue::classof(), clang::dataflow::PointerValue::classof(), clang::dataflow::TopBoolValue::classof(), clang::dataflow::compareDistinctValues(), clang::dataflow::operator<<(), and clang::dataflow::widenDistinctValues().
|
inline |
|
inline |
Definition at line 73 of file Value.h.
Referenced by clang::dataflow::areEquivalentValues().
|
inline |
Assigns Val as the value of the synthetic property with the given Name.
Properties may not be set on RecordValues; use synthetic fields instead (for details, see documentation for RecordStorageLocation).
Definition at line 68 of file Value.h.
References Value().