Project

General

Profile

Actions
Copy link

Bug #803

closed

Analyse Logiscope LFR_3.1.0.4 : Tr_BoucleSortie Severity is High

Added by William Recart about 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Low
Assignee:
paul leroy
Category:
-
Target version:
-
Start date:
19/10/2016
Due date:
% Done:

0%

Estimated time:
revision:
r0

Description

Rappel de la règle :
Tr_BoucleSortie
Definition:
-----------
Break and continue instructions are forbidden inside conditional expressions
in control statements ( for, do, while ).
Nevertheless, the break instruction is allowed in the block instruction
of the switch statement.

Parameters:
-----------

C++: ====
None.

JAVA: =====
A string identifying the type of checking:

  • "in_switch" (or no parameter) means that the break are allowed in switch
    statements, break and continue are forbidden everywhere else,
  • "without_label" means that any break or continue without a label is allowed,
  • "with_label" means that any break and continue with a label is allowed,
    break and continue without a label is forbidden everywhere.

Justification:
--------------
Like a goto, these instructions break down code structure. Prohibiting them
in loops makes the code easier to understand.

La règle n'est pas respectée dans 3 cas d'après Logiscope:
Fichier fsw_misc.c : ligne 266
Fichier fsw_spacewire.c : ligne 518
Fichier wf_handler.c : ligne 832

Actions
Copy link

Also available in: Atom PDF