Compilateur non permissif

Bonjour,

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

Code:

---

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

COMEAU le détecte.

Code:

---

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:

---

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

---

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