clang 18.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 , Record , 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 |
|
delete |
|
virtualdefault |
|
inline |
Definition at line 56 of file Value.h.
Referenced by clang::dataflow::areEquivalentValues(), clang::dataflow::BoolValue::classof(), clang::dataflow::TopBoolValue::classof(), clang::dataflow::AtomicBoolValue::classof(), clang::dataflow::FormulaBoolValue::classof(), clang::dataflow::IntegerValue::classof(), clang::dataflow::PointerValue::classof(), clang::dataflow::RecordValue::classof(), clang::dataflow::compareDistinctValues(), clang::dataflow::operator<<(), and clang::dataflow::widenDistinctValues().
|
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 60 of file Value.h.
Referenced by clang::dataflow::UncheckedOptionalAccessModel::widen().
|
inline |
Definition at line 71 of file Value.h.
Referenced by clang::dataflow::copyRecord().
|
inline |
Assigns Val
as the value of the synthetic property with the given Name
.
Definition at line 66 of file Value.h.
Referenced by clang::dataflow::copyRecord().