SVals.h File Reference

#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
#include "llvm/ADT/ImmutableList.h"

Include dependency graph for SVals.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	clang::ento::SVal
class	clang::ento::UndefinedVal
class	clang::ento::DefinedOrUnknownSVal
class	clang::ento::UnknownVal
class	clang::ento::DefinedSVal
class	clang::ento::KnownSVal
	Represents an SVal that is guaranteed to not be UnknownVal. More...
class	clang::ento::NonLoc
class	clang::ento::Loc
class	clang::ento::nonloc::SymbolVal
	Represents symbolic expression. More...
class	clang::ento::nonloc::ConcreteInt
	Value representing integer constant. More...
class	clang::ento::nonloc::LocAsInteger
class	clang::ento::nonloc::CompoundVal
class	clang::ento::nonloc::LazyCompoundVal
class	clang::ento::loc::GotoLabel
class	clang::ento::loc::MemRegionVal
class	clang::ento::loc::ConcreteInt
struct	llvm::isPodLike< clang::ento::SVal >
Namespaces
namespace	clang
namespace	clang::ento
namespace	clang::ento::nonloc
namespace	clang::ento::loc
namespace	llvm
Enumerations
enum	clang::ento::nonloc::Kind {   clang::ento::nonloc::ConcreteIntKind, clang::ento::nonloc::SymbolValKind, clang::ento::nonloc::LocAsIntegerKind, clang::ento::nonloc::CompoundValKind,   clang::ento::nonloc::LazyCompoundValKind }
enum	clang::ento::loc::Kind { clang::ento::loc::GotoLabelKind, clang::ento::loc::MemRegionKind, clang::ento::loc::ConcreteIntKind }
Functions
static raw_ostream &	llvm::operator<< (raw_ostream &os, clang::ento::SVal V)