[Bug c/126213] New: [Coverity] Possible missing return value check on perform_pending_updates at fwprop.c:915

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126213

            Bug ID: 126213
           Summary: [Coverity] Possible missing return value check on
                    perform_pending_updates at fwprop.c:915
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Another Coverity CHECKED_RETURN bug.

gcc $ grep -n perform_pending_updates *.cc
dep-fusion.cc:134:  if (crtl->ssa->perform_pending_updates ())
fold-mem-offsets.cc:1372:  if (crtl->ssa->perform_pending_updates ())
fwprop.cc:915:  crtl->ssa->perform_pending_updates ();
late-combine.cc:904:  if (crtl->ssa->perform_pending_updates ())
pair-fusion.cc:116:  if (crtl->ssa->perform_pending_updates ())
gcc $ 

So we can see that at line 915 of file fwprop.cc, the return value
is not checked. Suspicious.

git blame says:

0b76990a9d75 gcc/fwprop.c  (Richard Sandiford   2020-12-17 00:15:12 +0000  915)
  crtl->ssa->perform_pending_updates ();

Coverity issue # 1696615.