--- rpl/LIMITATIONS 2013/02/22 19:48:22 1.100 +++ rpl/LIMITATIONS 2013/03/05 16:26:46 1.103 @@ -6,6 +6,24 @@ 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 +<< + // truc qui fait une erreur +>> + +{ } forall + 'toto' eval +next + EMSGSIZE dans les send() ! À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))