[RTEMS Project] #3581: Structurally dead code in fifo.c (CID 1437649 )

RTEMS trac trac at rtems.org
Sat Nov 3 04:12:59 UTC 2018


#3581: Structurally dead code in fifo.c (CID 1437649 )
----------------------------+------------------------
  Reporter:  shashvat jain  |      Owner:  (none)
      Type:  defect         |     Status:  new
  Priority:  normal         |  Milestone:  Indefinite
 Component:  lib/block      |    Version:  6
  Severity:  normal         |   Keywords:  Coverity
Blocked By:                 |   Blocking:
----------------------------+------------------------
 As per coverity scan at ​[https://scan.coverity.com/projects/rtems] ,CID
 1437649 , line 103 in fifo.c  is  unreachable and the code is called to be
 structurally dead. You will need an Coverity Scan account and permission
 to view RTEMS to see more details.
 all the "goto" statements are present , the problem could have arised due
 to
 syntax issue like "indentation" or due to a problem in upstream files.the
 code in question is:
 100    c = 'a';
 101  return 0;
 102

 CID 1437649 (#1 of 1): Structurally dead code (UNREACHABLE)
 unreachable: This code cannot be reached: rtems_barrier_delete(pipe->....
 103  rtems_barrier_delete(pipe->writeBarrier);
 104err_wbar:
 105  rtems_barrier_delete(pipe->readBarrier);
 106err_rbar:
 107  free(pipe->Buffer);
 108err_buf:
 109  free(pipe);
 110  return err;
 111}

--
Ticket URL: <http://devel.rtems.org/ticket/3581>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list