futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection

[urcu.git] / futex-wakeup / futex.spin

diff --git a/futex-wakeup/futex.spin b/futex-wakeup/futex.spin
index 788fc44351e154b1fd87fdb43b8208e58204dedd..c68a77b75fbf30217bc07dd26004491a90b460a8 100644 (file)
--- a/futex-wakeup/futex.spin
+++ b/futex-wakeup/futex.spin
@@ -100,7 +100,7 @@ restart:
        in_registry[1] = 1;
        do
        :: 1 ->
-#ifndef INJ_LATE_DEC
+#if (!defined(INJ_LATE_DEC) && !defined(INJ_INVERT_WAITING_VS_GP_FUTEX))
                gp_futex = -1;
 #endif
                if
@@ -128,6 +128,9 @@ restart:
                :: else ->
                        skip;
                fi;
+#ifdef INJ_INVERT_WAITING_VS_GP_FUTEX
+               gp_futex = -1;
+#endif
 
                if
                :: (in_registry[0] == 0 && in_registry[1] == 0) ->