clang
17.0.0git
|
#include "clang/AST/Decl.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/StringMap.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <utility>
Go to the source code of this file.
Classes | |
class | clang::dataflow::Value |
Base class for all values computed by abstract interpretation. More... | |
class | clang::dataflow::BoolValue |
Models a boolean. More... | |
class | clang::dataflow::TopBoolValue |
Models the trivially true formula, which is Top in the lattice of boolean formulas. More... | |
class | clang::dataflow::AtomicBoolValue |
Models an atomic boolean. More... | |
class | clang::dataflow::ConjunctionValue |
Models a boolean conjunction. More... | |
class | clang::dataflow::DisjunctionValue |
Models a boolean disjunction. More... | |
class | clang::dataflow::NegationValue |
Models a boolean negation. More... | |
class | clang::dataflow::ImplicationValue |
Models a boolean implication. More... | |
class | clang::dataflow::BiconditionalValue |
Models a boolean biconditional. More... | |
class | clang::dataflow::IntegerValue |
Models an integer. More... | |
class | clang::dataflow::ReferenceValue |
Models a dereferenced pointer. More... | |
class | clang::dataflow::PointerValue |
Models a symbolic pointer. Specifically, any value of type T* . More... | |
class | clang::dataflow::StructValue |
Models a value of struct or class type, with a flat map of fields to child storage locations, containing all accessible members of base struct and class types. More... | |
Namespaces | |
clang | |
clang::dataflow | |
Dataflow Directional Tag Classes. | |
Functions | |
bool | clang::dataflow::areEquivalentValues (const Value &Val1, const Value &Val2) |
An equivalence relation for values. More... | |
raw_ostream & | clang::dataflow::operator<< (raw_ostream &OS, const Value &Val) |