razvanlupusoru wrote: I read through: https://github.com/llvm/llvm-project/pull/67164#issuecomment-1761812910 And the explanations about differences between bounds-x and bounds-y appear correct to me! https://github.com/llvm/llvm-project/pull/67164