From eb68c77804d9b85bc9b3c5a87ba3f64dd83afce1 Mon Sep 17 00:00:00 2001
From: Cyrille Bagard <nocbos@gmail.com>
Date: Sun, 1 Mar 2020 12:04:16 +0100
Subject: Cleaned the instruction flags when requested.

---
 src/arch/instruction.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/arch/instruction.c b/src/arch/instruction.c
index a274569..b2f1137 100644
--- a/src/arch/instruction.c
+++ b/src/arch/instruction.c
@@ -393,6 +393,18 @@ ArchInstrFlag g_arch_instruction_get_flags(const GArchInstruction *instr)
 
     g_bit_unlock(&extra->lock, HOLE_LOCK_BIT);
 
+    /**
+     * La pose du verrou a entraîné la mise à 1 du bit de poids fort de la zone
+     * couverte par le champ "extra".
+     *
+     * Même si les fanions ne couvrent pas cet emplacement, leur stockage s'étend
+     * sur 16 bits, et contient donc le fameux bit de verrouillage.
+     *
+     * On efface ce marqueur après-coup ici.
+     */
+
+    result &= ((AIF_HIGH_USER << 1) - 1);
+
     return result;
 
 }
-- 
cgit v0.11.2-87-g4458