Searched refs:RightBase (Results 1 – 1 of 1) sorted by relevance
711 const MemRegion *RightBase = RightMR->getBaseRegion(); in evalBinOpLL() local713 const MemSpaceRegion *RightMS = RightBase->getMemorySpace(); in evalBinOpLL()736 if (LeftBase != RightBase && in evalBinOpLL()737 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()