X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=include%2Furcu%2Farch%2Farm.h;fp=include%2Furcu%2Farch%2Farm.h;h=e904b06e461cd56a6aa30fe685340cf51501193c;hp=5d1c60836da9a34fb1f2f71783255f5532d546b3;hb=39c2747c011f2d7563c8fa63e26cd92ca552d15b;hpb=3f0dd283a89ab114ffbf5c3dd46463217c6bb2ff

diff --git a/include/urcu/arch/arm.h b/include/urcu/arch/arm.h
index 5d1c608..e904b06 100644
--- a/include/urcu/arch/arm.h
+++ b/include/urcu/arch/arm.h
@@ -70,6 +70,15 @@ extern "C" {
 # endif
 #endif
 
+/*
+ * https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42263
+ */
+#ifdef URCU_GCC_VERSION
+# if URCU_GCC_VERSION >= 40400 && URCU_GCC_VERSION <= 40402
+#  error Your gcc version has a non-functional __sync_synchronize()
+# endif
+#endif
+
 #ifdef __cplusplus
 }
 #endif