Searched defs:SymbolicRegion (Results 1 - 1 of 1) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h41 class SymbolicRegion;
148 const SymbolicRegion *getSymbolicBase() const;
706 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
707 /// clases, SymbolicRegion represents a region that serves as an alias for
711 class SymbolicRegion : public SubRegion { class in namespace:clang::ento
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) function in class:clang::ento::SymbolicRegion
1196 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1199 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);

Completed in 36 milliseconds