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)
#define	SYMBOL_RANGE(Id, First, Last)

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

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

Macro Definition Documentation

SYMBOL

#define SYMBOL	(		Id,
			Parent )

Value:

Id##Kind,

Definition at line 37 of file SymExpr.h.

SYMBOL_RANGE

#define SYMBOL_RANGE	(		Id,
			First,
			Last )

Value:

BEGIN_##Id = First, END_##Id = Last,

Definition at line 38 of file SymExpr.h.