[RTEMS Project] #4847: Goto statements

RTEMS trac trac at rtems.org
Thu Feb 9 14:56:10 UTC 2023


#4847: Goto statements
----------------------------+---------------------------
  Reporter:  Daniel Páscoa  |      Owner:  (none)
      Type:  defect         |     Status:  new
  Priority:  normal         |  Milestone:
 Component:  admin          |    Version:  6
  Severity:  normal         |   Keywords:  qualification
Blocked By:                 |   Blocking:
----------------------------+---------------------------
 The use of “goto” statements is strongly discouraged as it results in
 convoluted program logic, making it challenging to analyse and verify
 program correctness, particularly in loops. Instead, the “break” and
 “continue” statements provide alternatives to “goto” and should be
 utilized to simplify the code.

 **Additional Notes:**
 This ticket was raised as an outcome of the Independent SW Verification
 and Validation (ISVV) for ESA-promoted RTEMS SMP Qualification Data Packs
 (https://rtems-qual.io.esa.int). Original ISVV reference for this issue is
 RTEMS-SMP-CODE-VER-074.

 **File list:**
 cpukit/score/src/threaddispatch.c (line 290)

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


More information about the bugs mailing list