Discussion :

[Nico_stras]

Bonjour,

Je suis à la recherche d'un compilateur (ou analyseur statique), permettant de repérer les erreurs de ce type :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
typedef enum
{
   VAL1;
   VAL2;
}e1_t ;
 
 
typedef enum
{
   VAL3;
   VAL4;
}e2_t ;
 
e2_t variable1 ;
 
variable1 = VAL1 ;

J'affecte une valeur qui n'appartient pas à la bonne enum.

Merci d'avance

[aoyou]

COMEAU le détecte.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
 
Comeau C/C++ 4.3.10.1 (Oct  6 2008 11:28:09) for ONLINE_EVALUATION_BETA2
Copyright 1988-2008 Comeau Computing.  All rights reserved.
MODE:strict errors C99 
 
"ComeauTest.c", line 15: warning: enumerated type mixed with another type
    variable1 = VAL1 ;
              ^
 
"ComeauTest.c", line 14: warning: variable "variable1" was set but never used
    e2_t variable1;

mais il est payant (50 $) et je n'ai pas trop de retour d'expérience sur ce compilateur.

http://www.comeaucomputing.com/

Les compilateurs d'Intel doivent aussi le détecter.


Toutefois, ce comportement est tout à fait valide en C (enfin, disons que la norme laisse toute liberté là-dessus). Une variable de type énuméré peut contenir n'importe quelle valeur dont le type est compatible avec le type de l'énuméré. En C++, le comportement est différent. Voir g++ qui déclenche une erreur, contrairement à gcc.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
error: cannot convert 'e1_t' to 'e2_t' in assignment

[Nico_stras]

Et en terme d'analyse statique de code en C, que connaissez vous d'interessant ?

Avez-vous des epériences avec les outils cités ici ?
http://en.wikipedia.org/wiki/List_of...ode_analysis#C