--- rpl/LIMITATIONS 2012/10/09 15:27:45 1.93 +++ rpl/LIMITATIONS 2013/03/05 16:26:46 1.103 @@ -1,14 +1,34 @@ RESTRICTIONS Only formatted and flow files are supported. +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. + +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)) SOCKET NON FORMATÉS -Coller envoi_signal_processus() dans un thread dédié avec un pipe entre -le gestionnaire de signal et ce thread. À la fin de l'exécution de ce thread -(donc après avoir mis en place ce qu'il faut pour les rpl_signaux), on -envoie un raise(SIGALRM) - Pour OpenVMS : Trouver les includes pour : syslog.h