Searched defs:SymbolicRegion (Results 1 – 1 of 1) sorted by relevance
58 class SymbolicRegion; variable775 SymbolicRegion(const SymbolRef s, const MemSpaceRegion *sreg) in SymbolicRegion() function