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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h43 class SymbolicRegion;
112 const SymbolicRegion *getSymbolicBase() const;
702 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
703 /// classes, SymbolicRegion represents a region that serves as an alias for
707 class SymbolicRegion : public SubRegion { class in namespace:clang::ento
712 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) function in class:clang::ento::SymbolicRegion
1192 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1195 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);

Completed in 257 milliseconds