[RTEMS Project] #4295: b1553brm.c: Unsigned compared against 0 error spotted by Coverity

RTEMS trac trac at rtems.org
Thu Mar 4 15:08:42 UTC 2021


#4295: b1553brm.c: Unsigned compared against 0 error spotted by Coverity
------------------------+--------------------
  Reporter:  Ryan Long  |      Owner:  (none)
      Type:  defect     |     Status:  new
  Priority:  normal     |  Milestone:  6.1
 Component:  bsps       |    Version:  6
  Severity:  normal     |   Keywords:
Blocked By:             |   Blocking:
------------------------+--------------------
 CID 1399773: Unsigned compared against 0 in brm_write().

 {{{
 983        rw_args->bytes_moved = count;
 984
     CID 1399773 (#1 of 1): Unsigned compared against 0
 (NO_EFFECT)unsigned_compare: This greater-than-or-equal-to-zero comparison
 of an unsigned value is always true. count >= 0U.
  985        if (count >= 0) {
  986                return RTEMS_SUCCESSFUL;
  987        }
 }}}

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


More information about the bugs mailing list