https://github.com/vitalybuka commented:
I guess we already discussed that before. My preference is the wrap and sanitize attributes are interdependent. Open to be convinced otherwise. But seems like we want consistency with https://godbolt.org/z/crhdaczx1 * `__attribute__((wraps,no_sanitize("signed-integer-overflow")))` wraps quietly * `__attribute__((wraps))` wraps, but may report if runs with `-fsanitize=signed-integer-overflow` * `__attribute__((no_sanitize("signed-integer-overflow")))` reports, but in recovery mode, compile UB any way it likes. https://github.com/llvm/llvm-project/pull/115094 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
