clang  16.0.0git
Classes | Namespaces
Value.h File Reference
#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.