Searched refs:UnboundedCtx (Results 1 – 1 of 1) sorted by relevance
803 isl::set UnboundedCtx = Parts.first.params(); in addLoopBoundsToHeaderDomain() local804 recordAssumption(&RecordedAssumptions, INFINITELOOP, UnboundedCtx, in addLoopBoundsToHeaderDomain()