Fix SPARK warning regarding interfering context
[libxhcidbg.git] / src / hw-dbc-events.adb
index 98e8c2aed34880863d0db14a2566d9f6dc4a22c0..ba74f0fc0d6d7336926ba6f689df5507a8658bc4 100644 (file)
@@ -188,10 +188,12 @@ is
 
    procedure Handle_Events
    is
-      Update_Ptr : Boolean;
+      Update_Ptr : constant Boolean := Ready;
+      Is_Ready   : Boolean;
    begin
-      Update_Ptr := Ready;
-      while Ready loop
+      loop
+         Is_Ready := Ready;
+         exit when not Is_Ready;
          Handle_Event;
       end loop;
       if Update_Ptr then