Member predicate Options::CustomOptions::okToIgnoreReturnValue

Holds if it is reasonable to ignore the return value of function call fc.

By default holds for calls to select where the first argument is 0 (commonly used as a way of sleeping), and any call inside a macro expansion.

predicate okToIgnoreReturnValue(FunctionCall fc)