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

[Eli Friedman via cfe-commits]

efriedma-quic wrote:

I'm still not happy with the AST representation here.  The current representation is likely to cause unpredictable results in edge cases, and compatibility constraints mean whatever result the current version happens to produce for those cases is locked in forever.  And there isn't really any good way to mitigate those issues under the current representation.

I don't want to block progress here, but I think in its current form, we're likely to end up with reported issues we can't fix.

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