Searched refs:SuccInvalidDomain (Results 1 – 1 of 1) sorted by relevance
1057 isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB]; in propagateInvalidStmtDomains() local1058 SuccInvalidDomain = SuccInvalidDomain.unite(AdjustedInvalidDomain); in propagateInvalidStmtDomains()1059 SuccInvalidDomain = SuccInvalidDomain.coalesce(); in propagateInvalidStmtDomains()1061 InvalidDomainMap[SuccBB] = SuccInvalidDomain; in propagateInvalidStmtDomains()1065 if (unsignedFromIslSize(SuccInvalidDomain.n_basic_set()) < in propagateInvalidStmtDomains()