Searched defs:SymR (Results 1 – 3 of 3) sorted by relevance
72 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R)) in getAsLocSymbol() local88 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase() local
90 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) { in assumeAux() local
1930 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster() local2029 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(Base)) in removeDeadBindings() local