Searched defs:SymbolicRegion (Results 1 – 1 of 1) sorted by relevance
44 class SymbolicRegion; variable716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function