#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 <cassert>#include <utility>
Include dependency graph for Value.h:
This graph shows which files directly or indirectly include this file:
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::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. | |
