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

[Kees Cook via cfe-commits]

kees wrote:

This now passes my behavioral testing suite for wrapping; yay! (The earlier version didn't cover truncate, so this is very nice now.)

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