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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h678 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
679 /// clases, SymbolicRegion represents a region that serves as an alias for
683 class SymbolicRegion : public SubRegion { class in namespace:clang::ento
688 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) function in class:clang::ento::SymbolicRegion
1155 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1158 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);

Completed in 40 milliseconds