SymExpr.h File Reference

#include "clang/AST/Type.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/iterator_range.h"
#include <cassert>
#include "clang/StaticAnalyzer/Core/PathSensitive/Symbols.def"

Go to the source code of this file.

Classes
class	clang::ento::SymExpr
	Symbolic value. More...
class	clang::ento::SymExpr::symbol_iterator
	Iterator over symbols that the current symbol depends on. More...
class	clang::ento::SymbolData
	A symbol representing data which can be stored in a memory location (region). More...

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

Macros
#define	SYMBOL(Id, Parent)   Id##Kind,
#define	SYMBOL_RANGE(Id, First, Last)   BEGIN_##Id = First, END_##Id = Last,

Typedefs
using	clang::ento::SymbolRef = const SymExpr *
using	clang::ento::SymbolRefSmallVectorTy = SmallVector< SymbolRef, 2 >
using	clang::ento::SymbolID = unsigned

Functions
raw_ostream &	clang::ento::operator<< (raw_ostream &os, const clang::ento::SymExpr *SE)

Macro Definition Documentation

SYMBOL

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

Definition at line 35 of file SymExpr.h.

SYMBOL_RANGE

#define SYMBOL_RANGE	(		Id,
			First,
			Last
	)		BEGIN_##Id = First, END_##Id = Last,

Definition at line 36 of file SymExpr.h.