hazzlim wrote: This seems correct from my reading of the relevant parts of the C/C++ standard, regarding pointer arithmetic and array subscript expressions.
It does actually seem like the restriction to unsigned indices here is actually unnecessary, and adding `nuw` is also valid for signed indices here - but I wanted to check if people agree on that. https://github.com/llvm/llvm-project/pull/103088 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits