--- rpl/src/gestion_pile.c	2013/03/22 10:20:35	1.49
+++ rpl/src/gestion_pile.c	2015/01/05 13:12:32	1.58
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.13
-  Copyright (C) 1989-2013 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.19
+  Copyright (C) 1989-2015 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
 
@@ -267,6 +267,10 @@ affichage_pile(struct_processus *s_etat_
 	return;
 }
 
+// Bug de gcc à partir de gcc 4.6 (bug 48544)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wclobbered"
+
 void
 ecriture_pile(struct_processus *s_etat_processus, file *flux,
 		struct_liste_chainee *l, integer8 niveau_courant)
@@ -470,4 +474,6 @@ impression_pile(struct_processus *s_etat
 	return;
 }
 
+#pragma GCC diagnostic pop
+
 // vim: ts=4