Member predicate CustomOptions::returnsNull
Holds if this call may return NULL. This is only used if
overrideReturnsNull holds for the call.
By default, this handles the Xstrdup function used by the CVS
project.
predicate returnsNull(Call call)Holds if this call may return NULL. This is only used if
overrideReturnsNull holds for the call.
By default, this handles the Xstrdup function used by the CVS
project.
predicate returnsNull(Call call)