Project

General

Profile

Actions

Bug #803

closed

Analyse Logiscope LFR_3.1.0.4 : Tr_BoucleSortie Severity is High

Added by William Recart over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Low
Assignee:
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 #1

Updated by paul leroy about 7 years ago

  • Status changed from New to Resolved
  • Priority changed from Normal to Low

Correction effectuée.

Actions #2

Updated by William Recart about 7 years ago

  • Status changed from Resolved to Closed

Vérification effectuée sur le tag 322 (c0603702c8c8) , il ne reste aucune erreur.
L'issue est considérée close.

Actions

Also available in: Atom PDF