--- rpl/LIMITATIONS 2013/02/23 12:39:44 1.101 +++ rpl/LIMITATIONS 2013/03/05 16:26:46 1.103 @@ -6,8 +6,23 @@ transformer le semop en non bloquant). Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. -DIGEST -CIPHER +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() !