Searched defs:SymR (Results 1 – 4 of 4) sorted by relevance
76 if (const SymbolicRegion *SymR = IncludeBaseRegions ? in getAsLocSymbol() local94 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase() local
96 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in assumeAux() local
2244 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster() local2332 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(Base)) in removeDeadBindings() local
1102 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) in getSymbolicBase() local