Re: Attribute returns_null

2013-10-07 Thread Jeff Law
some ECF_* flags, but the attribute seems sufficient. I considered using nonnull(0), but then it would have been confusing that the version of nonnull without arguments applies only to parameters and not the return value. I can't comment on the patch itself, but could there also be an attr

Re: Attribute returns_null (was: New attribute: returns_nonnull)

2013-10-07 Thread David Malcolm
ue. > > > > I can't comment on the patch itself, but could there also be an > > attribute "returns_null", for functions that *always* return NULL? > > This may sound weird, but I know of at least one API that exposes such > > functions: CPython's exception-

Attribute returns_null (was: New attribute: returns_nonnull)

2013-10-07 Thread Marc Glisse
it would have been confusing that the version of nonnull without arguments applies only to parameters and not the return value. I can't comment on the patch itself, but could there also be an attribute "returns_null", for functions that *always* return NULL? This may sound weird, b