X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fimpatomic.h;h=cf62f3960231d37c955aa0f22913005a2d4348a7;hb=dcf7f575967bec560d500cc4f52e35c21671525c;hp=7ecc3737f930274b68532b6417284863f2bfd828;hpb=cc2accafaceffae9593b64b9f526d6c8d6239bd4;p=model-checker.git

diff --git a/include/impatomic.h b/include/impatomic.h
index 7ecc373..cf62f39 100644
--- 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