--- rpl/src/optimisation.c	2011/07/22 07:38:41	1.31
+++ rpl/src/optimisation.c	2017/07/10 14:47:59	1.75
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.1
-  Copyright (C) 1989-2011 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.27
+  Copyright (C) 1989-2017 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -36,14 +36,20 @@
 */
 
 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;
 
+	struct_liste_chainee		*l_bibliotheque_courante;
+	struct_liste_chainee		*l_nouvelle_bibliotheque;
+
 	struct_objet				*programme_principal;
 
 	struct_tableau_variables	*tableau;
@@ -51,8 +57,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)
@@ -72,17 +76,17 @@ sequenceur_optimise(struct_processus *s_
 
 	point_entree = -1;
 	adresse_point_entree = 0;
+	programme_principal = NULL;
 
 	empilement_pile_systeme(s_etat_processus);
 	(*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'Y';
 	(*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')
 		{
@@ -93,11 +97,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++)
 	{
@@ -105,7 +110,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)
@@ -136,6 +141,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);
 			}
@@ -147,6 +160,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;
 
@@ -194,6 +208,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);
 			}
@@ -213,6 +235,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);
 			}
@@ -232,6 +262,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);
 			}
@@ -258,6 +296,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);
 	}
@@ -299,6 +345,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);
 	}
@@ -323,12 +377,61 @@ 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);
 
+
+	// Libération des bibliothèques
+
+	l_bibliotheque_courante = l_bibliotheques;
+
+	while(l_bibliotheque_courante != NULL)
+	{
+		if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
+				(*l_bibliotheque_courante).donnee) == d_erreur)
+		{
+ 			if ((*s_etat_processus).langue == 'F')
+ 			{
+ 				printf("+++Système : Mémoire insuffisante\n");
+ 			}
+ 			else
+ 			{
+ 				printf("+++System : Not enough memory\n");
+			}
+
+ 			return(d_erreur);
+		}
+
+		affichage_rplso = d_faux;
+		instruction_remove(s_etat_processus);
+		affichage_rplso = d_vrai;
+
+		l_nouvelle_bibliotheque =
+				(*l_bibliotheque_courante).suivant;
+		free(l_bibliotheque_courante);
+		l_bibliotheque_courante =
+				l_nouvelle_bibliotheque;
+	}
+
 	erreur = evaluation(s_etat_processus, programme_principal, 'E');
 
 	if ((*s_etat_processus).profilage == d_vrai)