MacDue wrote: Just looking in the affine sources I found: ``` /// RHS of mod is always a constant or a symbolic expression with a positive /// value. ``` So does that mean a negative symbolic rhs mod is UB? https://github.com/llvm/llvm-project/pull/93576