--- rpl/src/gestion_pile.c	2013/06/21 14:15:52	1.51
+++ rpl/src/gestion_pile.c	2018/12/24 15:55:07	1.70
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.15
-  Copyright (C) 1989-2013 Dr. BERTRAND Joël
+  RPL/2 (R) version 4.1.30
+  Copyright (C) 1989-2018 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