[clang] [Clang] Implement labelled type filtering for overflow/truncation sanitizers w/ SSCLs (PR #107332)

Justin Stitt via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 1 15:24:25 PDT 2024


JustinStitt wrote:

> My intuition is that @kees approach could be more efficient to get things done :) Maintaining a list of types can be annoying.

We discussed this at [Linux Plumbers '24](https://lpc.events/) and also on [lkml](https://lore.kernel.org/all/202404291502.612E0A10@keescook/) where an eventual [lwn.net article](https://lwn.net/Articles/979747/) was published summarizing the discussion.

I recommend reading that article for the most succinct overview of Linus' thoughts on the matter. From our talk at Plumbers, other maintainers agree with Linus: we should limit sanitizer instrumentation across _all_ types and simply whitelist a few.

Thankfully, this PR and my other PR (WIP) leave the door open. You can ignore all types and then mark a few as `no_wraps` or you can sanitize all types (the default) and mark a few as `wraps`.

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


More information about the cfe-commits mailing list