Member predicate Options::CustomOptions::alwaysCheckReturnValue

Holds if function f should always have its return value checked.

By default holds only for fgets.

predicate alwaysCheckReturnValue(Function f)