/**
 * @name SAL requires inspecting return value
 * @description When a return value is discarded even though the SAL annotation
 *              requires inspecting it, a recoverable error may turn into a
 *              whole-program crash.
 * @kind problem
 * @id cpp/ignore-return-value-sal
 * @problem.severity warning
 * @tags reliability
 *       external/cwe/cwe-573
 *       external/cwe/cwe-252
 * @microsoft.severity Important
 */

import SAL

from Function f, FunctionCall call
where
  call.getTarget() = f and
  call instanceof ExprInVoidContext and
  any(SalCheckReturn a).getDeclaration() = f and
  not getOptions().okToIgnoreReturnValue(call)
select call, "Return value of $@ discarded although a SAL annotation " + "requires inspecting it.",
  f, f.getName()