Searched refs:SuccInvalidDomain (Results 1 – 1 of 1) sorted by relevance
1056 isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB]; in propagateInvalidStmtDomains() local1057 SuccInvalidDomain = SuccInvalidDomain.unite(AdjustedInvalidDomain); in propagateInvalidStmtDomains()1058 SuccInvalidDomain = SuccInvalidDomain.coalesce(); in propagateInvalidStmtDomains()1060 InvalidDomainMap[SuccBB] = SuccInvalidDomain; in propagateInvalidStmtDomains()1064 if (SuccInvalidDomain.n_basic_set() < MaxDisjunctsInDomain) in propagateInvalidStmtDomains()