clang 20.0.0git
Classes | Namespaces | Functions
Value.h File Reference
#include "clang/AST/Decl.h"
#include "clang/Analysis/FlowSensitive/Formula.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>

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
 A TopBoolValue represents a boolean that is explicitly unconstrained. More...
 
class  clang::dataflow::AtomicBoolValue
 Models an atomic boolean. More...
 
class  clang::dataflow::FormulaBoolValue
 Models a compound boolean formula. More...
 
class  clang::dataflow::IntegerValue
 Models an integer. More...
 
class  clang::dataflow::PointerValue
 Models a symbolic pointer. Specifically, any value of type T*. More...
 

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::dataflow
 Dataflow Directional Tag Classes.
 

Functions

bool clang::dataflow::areEquivalentValues (const Value &Val1, const Value &Val2)
 An equivalence relation for values.
 
raw_ostream & clang::dataflow::operator<< (raw_ostream &OS, const Value &Val)