[BACK]Return to LIMITATIONS CVS log [TXT] [DIR] Up to [local] / rpl

Diff for /rpl/LIMITATIONS between versions 1.101 and 1.103

version 1.101, 2013/02/23 12:39:44 version 1.103, 2013/03/05 16:26:46
Line 6  transformer le semop en non bloquant). Line 6  transformer le semop en non bloquant).
   
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.  Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
   
 DIGEST  evaluation-conv.c:5888:64: warning: ‘registre_erreur_systeme’ may be used
 CIPHER  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() !  EMSGSIZE dans les send() !
   
Removed from v.1.101  
changed lines
  Added in v.1.103

CVSweb interface <joel.bertrand@systella.fr>