Makefile: rename variable to be more clear

[model-checker.git] / include / impatomic.h

diff --git a/include/impatomic.h b/include/impatomic.h
index 7ecc3737f930274b68532b6417284863f2bfd828..cf62f3960231d37c955aa0f22913005a2d4348a7 100644 (file)
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -3841,6 +3841,19 @@ T* atomic<T*>::fetch_sub( ptrdiff_t __v__, memory_order __x__ ) volatile
 
 #endif
 
+#ifdef __cplusplus
+extern "C" {
+#endif
+inline void atomic_thread_fence(memory_order order)
+{ _ATOMIC_FENCE_(order); }
+
+/** @todo Do we want to try to support a user's signal-handler? */
+inline void atomic_signal_fence(memory_order order)
+{ /* No-op? */ }
+#ifdef __cplusplus
+}
+#endif
+
 
 #ifdef __cplusplus
 } // namespace std