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

[Justin Stitt via cfe-commits]

JustinStitt wrote:

Ping!

Any chance we could land this soon?

I know @efriedma-quic has some different ideas for the implementation of this feature. However, adding a new type is most likely overkill for what is needed out of `wraps`. I think the implementation/documentation and testing has landed in a pretty nice spot but am eager to hear what others have to think as well.

@bwendling as you recently implemented `__counted_by` is there anything you see missing with `wraps` (considering there's some overlap between the feature sets)?

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