Member predicate Options::CustomOptions::overrideReturnsNull

Holds if we wish to override the “may return NULL” inference for this call. If this holds, then rather than trying to infer whether this call might return NULL, we will instead test whether returnsNull holds for it.

By default, this handles the Xstrdup function used by the CVS project.

predicate overrideReturnsNull(Call call)