[llvm] [DA] Add tests for nsw doesn't hold on entire iteration space (NFC) (PR #162281)

Ehsan Amiri via llvm-commits llvm-commits at lists.llvm.org
Sun Nov 30 10:10:40 PST 2025


================

----------------
amehsan wrote:

> How would you handle a case like this?
> 
> https://godbolt.org/z/qzKMsnP6s

Doesn't this violate the maximum size of allocated objects? looks like `i` takes every possible signed 64 bit value and then used to index into array `A`, if I read the IR correcly.



https://github.com/llvm/llvm-project/pull/162281


More information about the llvm-commits mailing list