clang 20.0.0git
Classes | Namespaces | Macros | Typedefs | Functions
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.