Searched refs:LeftBase (Results 1 – 1 of 1) sorted by relevance
919 const MemRegion *LeftBase = LeftMR->getBaseRegion(); in evalBinOpLL() local921 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(); in evalBinOpLL()951 if (LeftBase != RightBase && in evalBinOpLL()952 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()