--- rpl/src/gestion_pile.c	2014/04/25 07:37:29	1.55
+++ rpl/src/gestion_pile.c	2014/05/17 14:06:48	1.56
@@ -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