--- rpl/LIMITATIONS	2013/03/04 13:00:26	1.102
+++ rpl/LIMITATIONS	2013/03/05 16:26:46	1.103
@@ -6,6 +6,13 @@ transformer le semop en non bloquant).
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
+evaluation-conv.c:5888:64: warning: ‘registre_erreur_systeme’ may be used
+uninitialized in this function [-Wuninitialized]
+evaluation-conv.c:5890:59: warning: ‘registre_exception’ may be used
+uninitialized in this function [-Wuninitialized]
+evaluation-conv.c:5886:66: warning: ‘registre_erreur_execution’ may be used
+uninitialized in this function [-Wuninitialized]
+
 
 BUG :
 toto