clang  6.0.0svn
Classes | Namespaces | Macros | Typedefs | Functions
SymExpr.h File Reference
#include "clang/AST/Type.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/raw_ostream.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/Symbols.def"
Include dependency graph for SymExpr.h:
This graph shows which files directly or indirectly include this file:

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

 clang
 Dataflow Directional Tag Classes.
 
 clang::ento
 

Macros

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

Typedefs

typedef SmallVector< SymbolRef, 2 > clang::ento::SymbolRefSmallVectorTy
 
typedef unsigned clang::ento::SymbolID
 

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 34 of file SymExpr.h.

◆ SYMBOL_RANGE

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

Definition at line 35 of file SymExpr.h.