[clang] [Clang] Add wraps attribute (for granular integer overflow handling) (PR #86618)

[Justin Stitt via cfe-commits]

JustinStitt wrote:

Ping!

I've rebased this PR onto bcd150d2906ac83ea0ab680e981770a71c021a03 and fixed the issues with the docs not building because of faulty code-blocks.

Bigger picture, for the Linux Kernel, the current plan is to only enable certain integer sanitizers if support for this wraps attribute exists -- so it currently stands as a blocker for further arithmetic safety in the Kernel. (paraphrasing @kees)

With that being said, we're looking for more review on for this PR or a maintainer with push-access to merge :>)



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