Searched refs:LeftMS (Results 1 – 1 of 1) sorted by relevance
951 const MemSpaceRegion *LeftMS = LeftBase->getMemorySpace(state); in evalBinOpLL() local958 if (LeftMS != RightMS && in evalBinOpLL()959 ((LeftMS != UnknownMS && RightMS != UnknownMS) || in evalBinOpLL()960 (isa<StackSpaceRegion>(LeftMS) || isa<StackSpaceRegion>(RightMS)))) { in evalBinOpLL()983 (isa<HeapSpaceRegion>(LeftMS) || isa<HeapSpaceRegion>(RightMS))) ){ in evalBinOpLL()