--- rpl/LIMITATIONS	2012/12/14 14:20:32	1.95
+++ rpl/LIMITATIONS	2013/03/05 16:26:46	1.103
@@ -1,24 +1,30 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-recherche_variable_partagee doit positionner le mutex !
-Cette fonction verrouille l'objet qu'il a trouvé.
-Rajouter une fonction de libération des variables partagées.
-Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
-nombre_variables
-
-vérifier la pérsence de yacc dans configure.
+Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
+transformer le semop en non bloquant).
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
-EMSGSIZE dans les send() !
+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
+<<
+	// truc qui fait une erreur
+>>
+
+{ } forall
+	'toto' eval
+next
 
-recherche_variable_partagee() doit renvoyer l'objet 'variable_partagee'
-en verrouillant le mutex associé
-ou un NULL en cas d'erreur car le verrou est maintenant dans la liste
-chaînée et non sur le tableau.
-Le balayage de la liste est protégé par un mutex global sur la liste
-et l'accès à une variable par un mutex propre à cette variable.
+EMSGSIZE dans les send() !
 
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS