Read GCC warning messages with more care.

1 files changed, 12 insertions, 1 deletions

diff --git a/src/arch/arm/v7/context.c b/src/arch/arm/v7/context.c
index 659fdd1..8206619 100644
--- a/src/arch/arm/v7/context.c
+++ b/src/arch/arm/v7/context.c
@@ -230,7 +230,18 @@ static void g_armv7_context_push_drop_point(GArmV7Context *ctx, DisassPriorityLe
 
         default:
 
-            marker = va_arg(ap, ArmV7InstrSet);
+            /**
+             * Les messages de GCC annoncent parfois les choses très clairement :
+             *
+             * context.c:233:33: warning: 'ArmV7InstrSet' is promoted to 'int' when passed through '...'
+             *              marker = va_arg(ap, ArmV7InstrSet);
+             *                                  ^
+             * context.c:233:33: note: (so you should pass 'int' not 'ArmV7InstrSet' to 'va_arg')
+             * context.c:233:33: note: if this code is reached, the program will abort
+             *
+             */
+
+            marker = (ArmV7InstrSet)va_arg(ap, unsigned int);
 
             /**
              * Attention : toute adresse impaire est destinée à du mode Thumb.