================ @@ -79,7 +79,15 @@ code bases. Undefined behavior due to pointer addition overflow can be reliably detected using ``-fsanitize=pointer-overflow``. It is also possible to use ``-fno-strict-overflow`` to opt-in to a language dialect where signed integer - and pointer overflow are well-defined. + and pointer overflow are well-defined. Since Clang 20, it is also possible + to use ``-fwrapv-pointer`` to only make pointer overflow well-defined, while + not affecting the behavior of signed integer overflow. + +- The ``-fwrapv`` flag now only makes signed integer overflow well-defined, ---------------- AaronBallman wrote:
Curiously enough, we only ever documented the signed integer overflow behavior, not the pointer overflow: https://clang.llvm.org/docs/ClangCommandLineReference.html#cmdoption-clang-fwrapv https://github.com/llvm/llvm-project/pull/122486 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits