[RTEMS Project] #3946: capture-support: Dead Code (CID #1461469 \)

RTEMS trac trac at rtems.org
Fri Apr 17 03:46:24 UTC 2020


#3946: capture-support: Dead Code (CID #1461469 \)
------------------------------------+--------------------------
 Reporter:  Joel Sherrill           |       Owner:  Chris Johns
     Type:  defect                  |      Status:  assigned
 Priority:  normal                  |   Milestone:  6.1
Component:  lib                     |     Version:  5
 Severity:  normal                  |  Resolution:
 Keywords:  coverity, small, tasks  |  Blocked By:
 Blocking:                          |
------------------------------------+--------------------------
Changes (by Gedare Bloom):

 * milestone:  5.1 => 6.1


Comment:

 I think this is a false positive when cpus > 1, then the loop can iterate
 multiple times.

--
Ticket URL: <http://devel.rtems.org/ticket/3946#comment:3>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list