JustinStitt wrote:
> I wished that we could just attach attributes to type, e.g. `typedef int
> __attribute__((no_sanitize("signed-integer-overflow")) wrapping_int` or
> something. One thing here is that this should _not_ be a type modifier (like
> volatile and such), so it does not change the type, but that means nothing
> enforces it's propagated through conversions. But I suppose that the filter
> list has the same problem as you depend on specific type names.
I have the implementation done for this and I should get the PR up soon.
Then we'll have something like this:
```
typedef int __attribute__((wraps)) wrapping_int
```
I'll be sure to CC you 😄
https://github.com/llvm/llvm-project/pull/107332
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
