nikic wrote: @mikaelholmen Thanks for the reproducer, this makes the issue clear. BasicAA is incorrectly returning NoAlias for the pointers due to https://github.com/llvm/llvm-project/pull/98608.
The issue is that the `add` gets decomposed, but we preserve the nuw flag, effectively making it an `add nuw i16 n, -1`. https://github.com/llvm/llvm-project/pull/105496 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits