X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=futex-wakeup%2Ffutex.spin;fp=futex-wakeup%2Ffutex.spin;h=c68a77b75fbf30217bc07dd26004491a90b460a8;hb=37acf64d444bf756e8f61e4eaa2ea96fadf84635;hp=788fc44351e154b1fd87fdb43b8208e58204dedd;hpb=bc8ef93e8a82b8178b1b19d107717b97115481c4;p=urcu.git

diff --git a/futex-wakeup/futex.spin b/futex-wakeup/futex.spin
index 788fc44..c68a77b 100644
--- 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) ->