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 : > 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 >

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

[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 w