--- rpl/src/gestion_pile.c	2014/04/25 07:37:29	1.55
+++ rpl/src/gestion_pile.c	2020/01/10 11:15:42	1.74
@@ -1,7 +1,7 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.18
-  Copyright (C) 1989-2014 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.
 
@@ -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