Re: [RFC, PATCH] nonzero attribute, static array parameter

2015-07-23 Thread Martin Uecker
Hi Marek, sorry for taking so long to respond. Fri, 15 May 2015 15:38:43 +0200 Marek Polacek pola...@redhat.com: On Sat, May 09, 2015 at 09:42:23AM -0700, Martin Uecker wrote: here is a tentative patch to implement a new attribute nonzero, which is similar to nonnull, but is not a

Re: [RFC, PATCH] nonzero attribute, static array parameter

2015-05-15 Thread Marek Polacek
On Sat, May 09, 2015 at 09:42:23AM -0700, Martin Uecker wrote: here is a tentative patch to implement a new attribute nonzero, which is similar to nonnull, but is not a function attribute but a type attribute. One reason is that nonnull is awkward to use. For this reason, clang allows the

[RFC, PATCH] nonzero attribute, static array parameter

2015-05-09 Thread Martin Uecker
Hi, here is a tentative patch to implement a new attribute nonzero, which is similar to nonnull, but is not a function attribute but a type attribute. One reason is that nonnull is awkward to use. For this reason, clang allows the use of nonnull in function parameters, but this is incompatible