[llvm-branch-commits] [llvm] [DA] Add precondition `0 <=s UB` to function `inferAffineDomain` (PR #187218)

[Ryotaro Kasuga via llvm-branch-commits]

https://github.com/kasuga-fj edited https://github.com/llvm/llvm-project/pull/187218