Searched refs:DomPar (Results 1 – 1 of 1) sorted by relevance
1026 isl::set DomPar = Domain.params(); in propagateInvalidStmtDomains() local1027 recordAssumption(&RecordedAssumptions, ERRORBLOCK, DomPar, in propagateInvalidStmtDomains()