SValVisitor.h File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.def"
#include "clang/StaticAnalyzer/Core/PathSensitive/Symbols.def"
#include "clang/StaticAnalyzer/Core/PathSensitive/Regions.def"

Go to the source code of this file.

Classes
class	clang::ento::SValVisitor< ImplClass, RetTy >
	SValVisitor - this class implements a simple visitor for SVal subclasses. More...
class	clang::ento::SymExprVisitor< ImplClass, RetTy >
	SymExprVisitor - this class implements a simple visitor for SymExpr subclasses. More...
class	clang::ento::MemRegionVisitor< ImplClass, RetTy >
	MemRegionVisitor - this class implements a simple visitor for MemRegion subclasses. More...
class	clang::ento::FullSValVisitor< ImplClass, RetTy >
	FullSValVisitor - a convenient mixed visitor for all three: SVal, SymExpr and MemRegion subclasses. More...

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::ento

Macros
#define	BASIC_SVAL(Id, Parent)
#define	LOC_SVAL(Id, Parent)
#define	NONLOC_SVAL(Id, Parent)
#define	BASIC_SVAL(Id, Parent)    RetTy Visit##Id(Id V) { return derived().Visit##Parent(V.castAs<Id>()); }
#define	ABSTRACT_SVAL(Id, Parent)   BASIC_SVAL(Id, Parent)
#define	LOC_SVAL(Id, Parent)    RetTy Visit##Id(loc::Id V) { return derived().VisitLoc(V.castAs<Loc>()); }
#define	NONLOC_SVAL(Id, Parent)
#define	DISPATCH(CLASS)    return static_cast<ImplClass *>(this)->Visit ## CLASS(cast<CLASS>(S))
#define	SYMBOL(Id, Parent)    case SymExpr::Id ## Kind: DISPATCH(Id);
#define	SYMBOL(Id, Parent)   RetTy Visit ## Id(const Id *S) { DISPATCH(Parent); }
#define	ABSTRACT_SYMBOL(Id, Parent)   SYMBOL(Id, Parent)
#define	DISPATCH(CLASS)    return static_cast<ImplClass *>(this)->Visit ## CLASS(cast<CLASS>(R))
#define	REGION(Id, Parent)   case MemRegion::Id ## Kind: DISPATCH(Id);
#define	REGION(Id, Parent)    RetTy Visit ## Id(const Id *R) { DISPATCH(Parent); }
#define	ABSTRACT_REGION(Id, Parent)    REGION(Id, Parent)

Macro Definition Documentation

ABSTRACT_REGION

#define ABSTRACT_REGION	(		Id,
			Parent
	)		REGION(Id, Parent)

Definition at line 115 of file SValVisitor.h.

ABSTRACT_SVAL

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

Definition at line 51 of file SValVisitor.h.

ABSTRACT_SYMBOL

#define ABSTRACT_SYMBOL	(		Id,
			Parent
	)		SYMBOL(Id, Parent)

Definition at line 85 of file SValVisitor.h.

BASIC_SVAL [1/2]

#define BASIC_SVAL	(		Id,
			Parent
	)

Value:

  case SVal::Id##Kind:                                                         \
    return derived().Visit##Id(V.castAs<Id>());

Definition at line 49 of file SValVisitor.h.

BASIC_SVAL [2/2]

#define BASIC_SVAL	(		Id,
			Parent
	)		RetTy Visit##Id(Id V) { return derived().Visit##Parent(V.castAs<Id>()); }

Definition at line 49 of file SValVisitor.h.

DISPATCH [1/2]

#define DISPATCH

(

CLASS

)

return static_cast<ImplClass *>(this)->Visit ## CLASS(cast<CLASS>(S))

Definition at line 99 of file SValVisitor.h.

DISPATCH [2/2]

#define DISPATCH

(

CLASS

)

return static_cast<ImplClass *>(this)->Visit ## CLASS(cast<CLASS>(R))

Definition at line 99 of file SValVisitor.h.

LOC_SVAL [1/2]

#define LOC_SVAL	(		Id,
			Parent
	)

Value:

  case SVal::Loc##Id##Kind:                                                    \
    return derived().Visit##Id(V.castAs<loc::Id>());

Definition at line 52 of file SValVisitor.h.

LOC_SVAL [2/2]

#define LOC_SVAL	(		Id,
			Parent
	)		RetTy Visit##Id(loc::Id V) { return derived().VisitLoc(V.castAs<Loc>()); }

Definition at line 52 of file SValVisitor.h.

NONLOC_SVAL [1/2]

#define NONLOC_SVAL	(		Id,
			Parent
	)

Value:

  case SVal::NonLoc##Id##Kind:                                                 \
    return derived().Visit##Id(V.castAs<nonloc::Id>());

Definition at line 54 of file SValVisitor.h.

NONLOC_SVAL [2/2]

#define NONLOC_SVAL	(		Id,
			Parent
	)

Value:

  RetTy Visit##Id(nonloc::Id V) {                                              \
    return derived().VisitNonLoc(V.castAs<NonLoc>());                          \
  }

Definition at line 54 of file SValVisitor.h.

REGION [1/2]

#define REGION	(		Id,
			Parent
	)		case MemRegion::Id ## Kind: DISPATCH(Id);

Definition at line 113 of file SValVisitor.h.

REGION [2/2]

#define REGION	(		Id,
			Parent
	)		RetTy Visit ## Id(const Id *R) { DISPATCH(Parent); }

Definition at line 113 of file SValVisitor.h.

SYMBOL [1/2]

#define SYMBOL	(		Id,
			Parent
	)		case SymExpr::Id ## Kind: DISPATCH(Id);

Definition at line 84 of file SValVisitor.h.

SYMBOL [2/2]

#define SYMBOL	(		Id,
			Parent
	)		RetTy Visit ## Id(const Id *S) { DISPATCH(Parent); }

Definition at line 84 of file SValVisitor.h.