Diff for /rpl/src/instructions_e1.c between versions 1.21 and 1.42

version 1.21, 2011/06/21 07:45:24 version 1.42, 2013/02/27 17:11:42
Line 1 Line 1
 /*  /*
 ================================================================================  ================================================================================
   RPL/2 (R) version 4.1.0.prerelease.1    RPL/2 (R) version 4.1.13
   Copyright (C) 1989-2011 Dr. BERTRAND Joël    Copyright (C) 1989-2013 Dr. BERTRAND Joël
   
   This file is part of RPL/2.    This file is part of RPL/2.
   
Line 229  instruction_end(struct_processus *s_etat Line 229  instruction_end(struct_processus *s_etat
         printf("        (expression 2)]\n");          printf("        (expression 2)]\n");
         printf("    END\n\n");          printf("    END\n\n");
   
           printf("    CRITICAL\n");
           printf("        (expression)\n");
           printf("    END\n\n");
   
         printf("    DO\n");          printf("    DO\n");
         printf("        (expression)\n");          printf("        (expression)\n");
         printf("    UNTIL\n");          printf("    UNTIL\n");
Line 264  instruction_end(struct_processus *s_etat Line 268  instruction_end(struct_processus *s_etat
         return;          return;
     }      }
   
       if ((*s_etat_processus).l_base_pile_systeme == NULL)
       {
           (*s_etat_processus).erreur_systeme = d_es_processus;
           return;
       }
   
     if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I')      if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I')
             || ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J'))              || ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J'))
     {      {
Line 416  instruction_end(struct_processus *s_etat Line 426  instruction_end(struct_processus *s_etat
             return;              return;
         }          }
     }      }
     else       else if ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'Q')
       {
           depilement_pile_systeme(s_etat_processus);
   
           if ((*s_etat_processus).erreur_systeme != d_es)
           {
               return;
           }
   
           if (pthread_mutex_unlock(&mutex_sections_critiques) != 0)
           {
               (*s_etat_processus).erreur_systeme = d_es_processus;
               return;
           }
   
           (*s_etat_processus).sections_critiques--;
       }
       else
     {      {
         (*s_etat_processus).erreur_systeme = d_es_end_incoherent;          (*s_etat_processus).erreur_systeme = d_es_end_incoherent;
     }      }

Removed from v.1.21  
changed lines
  Added in v.1.42


CVSweb interface <joel.bertrand@systella.fr>