ahatanak wrote: Note that the range exceeds the underlying type's size in this case because `1 << i` is treated as logically positive (see https://github.com/llvm/llvm-project/pull/126846#issuecomment-2936836277). https://github.com/llvm/llvm-project/pull/145356