[clang] [Clang] Overflow Pattern Exclusions (PR #100272)

Bill Wendling via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 8 15:43:27 PDT 2024


================
@@ -293,6 +293,40 @@ To silence reports from unsigned integer overflow, you can set
 ``-fsanitize-recover=unsigned-integer-overflow``, is particularly useful for
 providing fuzzing signal without blowing up logs.
 
+Disabling instrumentation for common overflow patterns
+------------------------------------------------------
+
+There are certain overflow-dependent or overflow-prone code patterns which
+produce a lot of noise for integer overflow/truncation sanitizers. To disable
+instrumentation for these common patterns one should use
+``-fsanitize-overflow-pattern-exclusion=``.
+
+Currently, this option supports three pervasive overflow-dependent code idioms:
----------------
bwendling wrote:

It might be useful to add "titles" to each example here. Something like:

```txt
``negated-unsigned-const``

.. code-block:: c++

    /// -fsanitize-overflow-pattern-exclusion=negated-unsigned-const
 ...
```


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


More information about the cfe-commits mailing list