On Mon, Jun 17, 2024 at 10:28:20AM -0700, Kees Cook wrote: > But, using type attributes we have much more flexibility. Hence, the > proposed "wraps" attribute: > https://github.com/llvm/llvm-project/pull/86618
So I still think that's going about things backwards. unsigned explicitly wraps. signed is UB. When using -fwrapv signed is well defined as 2s complement, which takes away the UB and makes it implicitly wrap. When extending the language, it is important to not break existing code, so the default must remain wrap. This in turn means you need to add a 'nowrap' thingy. Also, I would very much not make this an attribute, but a full type qualifier. Furthermore, add type promotion rules to ensure nowrap takes precedence and is preserved throughout expressions. Such that: 'long' + 'nowrap int' -> 'nowrap long' Then, once you have this, you can go do things like: typedef nowrap unsigned long size_t; #define sizeof(x) ((size_t)sizeof(x)) and things will just work. Hmm?
