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

[Eli Friedman via cfe-commits]

efriedma-quic wrote:

Attributes mostly do modify the type.  The few that don't, like "aligned" and "may_alias", are a constant source of problems because they get accidentally stripped off.  (I don't have any personal experience with "noderef".)

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