SVals.h File Reference

#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/iterator_range.h"
#include "llvm/Support/Casting.h"
#include <cassert>
#include <cstdint>
#include <optional>
#include <utility>
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.def"

Go to the source code of this file.

Classes
class	clang::ento::SVal
	SVal - This represents a symbolic expression, which can be either an L-value or an R-value. More...
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 that isn't a location. 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::nonloc::PointerToMember
	Value representing pointer-to-member. More...
class	clang::ento::loc::GotoLabel
class	clang::ento::loc::MemRegionVal
class	clang::ento::loc::ConcreteInt
struct	llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >

Namespaces
namespace	clang
namespace	clang::ento
namespace	clang::ento::nonloc
namespace	clang::ento::loc
namespace	llvm
	YAML serialization mapping.

Macros
#define	NONLOC_SVAL(Id, Parent)   Id ## Kind,
#define	LOC_SVAL(Id, Parent)   Id ## Kind,
#define	BASIC_SVAL(Id, Parent)   Id ## Kind,
#define	ABSTRACT_SVAL_WITH_KIND(Id, Parent)   Id ## Kind,

Enumerations
enum	clang::ento::nonloc::Kind
	Sub-kinds for NonLoc values. More...
enum	clang::ento::loc::Kind
	Sub-kinds for Loc values. More...

Functions
raw_ostream &	clang::ento::operator<< (raw_ostream &os, clang::ento::SVal V)

Macro Definition Documentation

ABSTRACT_SVAL_WITH_KIND

#define ABSTRACT_SVAL_WITH_KIND	(		Id,
			Parent
	)		Id ## Kind,

Definition at line 78 of file SVals.h.

BASIC_SVAL

#define BASIC_SVAL	(		Id,
			Parent
	)		Id ## Kind,

Definition at line 77 of file SVals.h.

LOC_SVAL

#define LOC_SVAL	(		Id,
			Parent
	)		Id ## Kind,

Definition at line 64 of file SVals.h.

NONLOC_SVAL

#define NONLOC_SVAL	(		Id,
			Parent
	)		Id ## Kind,

Definition at line 54 of file SVals.h.