[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