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 "llvm/Support/raw_ostream.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::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)