[clang] [Clang] add wraps and no_wraps attributes (PR #115094)

[Vitaly Buka via cfe-commits]

vitalybuka wrote:

> @vitalybuka
> 
> > Would it make sense to support attributes like `__attribute__((no_sanitize("-undefined")))` ? Seems like better representation of the fact that we want to undo sanitizer suppression.
> 
> Is there some other precedence for this `-undefined` syntax with attributes?

No.

> 
> I am working on the PR for supporting `__attribute__((no_sanitize()))` for types. Should the opposite of `no_sanitize` be `sanitizable`? I agree that `sanitize` is no good as it suggests it will enable sanitization, not permit it.

sanitizable is LGTM

> 
> Once I have that PR up can compare it to this PR to find the best way forward.



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