Re: [RFC] [C]New syntax for the argument of counted_by attribute for C language

2025-03-15 Thread David Tarditi
ms of other members in the same object. As for the rules around scoping, we only need to rules that differ because the original design was flawed and missed common use cases. David > On Mar 13, 2025, at 11:16 PM, Martin Uecker wrote: > > > Hi David, > > Am Donnerstag, de

Re: [RFC] [C]New syntax for the argument of counted_by attribute for C language

2025-03-15 Thread David Tarditi
I’ve been working on bound-safe extensions for C since 2016. I did the Checked C work. Here’s my perspective on the discussion. I think language features should make the common case easy to use, have concise syntax, and be easy to understand. The bounds safety extensions will be used by milli