--- rpl/src/optimisation.c 2011/09/20 14:36:29 1.34 +++ rpl/src/optimisation.c 2020/01/10 11:15:50 1.84 @@ -1,7 +1,7 @@ /* ================================================================================ - RPL/2 (R) version 4.1.3 - Copyright (C) 1989-2011 Dr. BERTRAND Joël + RPL/2 (R) version 4.1.32 + Copyright (C) 1989-2020 Dr. BERTRAND Joël This file is part of RPL/2. @@ -36,11 +36,14 @@ */ logical1 -sequenceur_optimise(struct_processus *s_etat_processus) +sequenceur_optimise(struct_processus *s_etat_processus, struct_liste_chainee + *l_bibliotheques) { - int i; - int nb_variables; - int point_entree; + integer8 adresse_point_entree; + integer8 i; + integer8 j; + integer8 nb_variables; + integer8 point_entree; logical1 erreur; @@ -51,8 +54,6 @@ sequenceur_optimise(struct_processus *s_ unsigned char *message; unsigned char registre; - unsigned long adresse_point_entree; - if ((*s_etat_processus).debug == d_vrai) if (((*s_etat_processus).type_debug & d_debug_analyse) != 0) @@ -79,11 +80,10 @@ sequenceur_optimise(struct_processus *s_ (*s_etat_processus).autorisation_empilement_programme = 'Y'; (*s_etat_processus).mode_execution_programme = 'N'; - nb_variables = nombre_variables(s_etat_processus, - (*s_etat_processus).s_arbre_variables); + nb_variables = nombre_variables(s_etat_processus); - if ((tableau = malloc(nb_variables * sizeof(struct_tableau_variables))) - == NULL) + if ((tableau = malloc(((size_t) nb_variables) * + sizeof(struct_tableau_variables))) == NULL) { if ((*s_etat_processus).langue == 'F') { @@ -94,11 +94,12 @@ sequenceur_optimise(struct_processus *s_ printf("+++System : Not enough memory\n"); } + liberation_mutexes_arbre_variables_partagees(s_etat_processus, + (*(*s_etat_processus).s_arbre_variables_partagees)); return(d_erreur); } - liste_variables(s_etat_processus, tableau, 0, - (*s_etat_processus).s_arbre_variables); + nb_variables = liste_variables(s_etat_processus, tableau); for(i = 0; i < nb_variables; i++) { @@ -106,7 +107,7 @@ sequenceur_optimise(struct_processus *s_ { // Variables qui contiennent les points d'entrée des définitions. - (*s_etat_processus).position_courante = (*((unsigned long *) + (*s_etat_processus).position_courante = (*((integer8 *) (*(tableau[i].objet)).objet)); if (point_entree == -1) @@ -137,6 +138,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -148,6 +157,7 @@ sequenceur_optimise(struct_processus *s_ registre = (*s_etat_processus).autorisation_nom_implicite; (*s_etat_processus).autorisation_nom_implicite = 'Y'; + (*s_etat_processus).type_en_cours = NON; recherche_type(s_etat_processus); (*s_etat_processus).autorisation_nom_implicite = registre; @@ -195,6 +205,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -214,6 +232,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -233,6 +259,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -259,6 +293,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -300,6 +342,14 @@ sequenceur_optimise(struct_processus *s_ printf("+++Fatal : Compilation failed\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } @@ -324,10 +374,26 @@ sequenceur_optimise(struct_processus *s_ printf("+++System : Not enough memory\n"); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); return(d_erreur); } + for(j = 0; j < nb_variables; j++) + { + if (tableau[j].mutex != NULL) + { + pthread_mutex_unlock(tableau[j].mutex); + } + } + free(tableau); erreur = evaluation(s_etat_processus, programme_principal, 'E');