280   auto OpPWAC = visit(Op);  in visitTruncateExpr()  local
285     return OpPWAC;  in visitTruncateExpr()
287   auto *Dom = OpPWAC.first.domain().release();  in visitTruncateExpr()
290       isl_pw_aff_ge_set(OpPWAC.first.copy(), isl_pw_aff_copy(ExpPWA));  in visitTruncateExpr()
292       isl_pw_aff_lt_set(OpPWAC.first.copy(), isl_pw_aff_neg(ExpPWA));  in visitTruncateExpr()
294   OpPWAC.second = OpPWAC.second.unite(isl::manage_copy(OutOfBoundsDom));  in visitTruncateExpr()
305   return OpPWAC;  in visitTruncateExpr()
353   auto OpPWAC = visit(Op);  in visitZeroExtendExpr()  local
357     takeNonNegativeAssumption(OpPWAC, RecordedAssumptions);  in visitZeroExtendExpr()
358     return OpPWAC;  in visitZeroExtendExpr()
364   interpretAsUnsigned(OpPWAC, Width);  in visitZeroExtendExpr()
365   return OpPWAC;  in visitZeroExtendExpr()