Searched refs:WillBeOverwritten (Results 1 – 1 of 1) sorted by relevance
161 isl::union_map WillBeOverwritten = in removeOverwrites() local185 WillBeOverwritten = WillBeOverwritten.subtract(AccRelUniv); in removeOverwrites()191 if (AccRelUnion.is_subset(WillBeOverwritten)) { in removeOverwrites()204 WillBeOverwritten = underapproximatedAddMap(WillBeOverwritten, AccRel); in removeOverwrites()