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