================ ---------------- matthias-springer wrote: I think we should set `overflow<nuw>` here, to make the static case consistent with the dynamic case. Can be a separate PR because it may affect a larger number of test cases. https://github.com/llvm/llvm-project/pull/179155