change cds checker to accomdate llvm pass

[c11tester.git] / include / impatomic.h

diff --git a/include/impatomic.h b/include/impatomic.h
index b4273eee4a5984ce47c3b0ae922700fcad1f9e11..100ad0d6c6a43902abe9a51949b8524807f80b84 100644 (file)
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -1,3 +1,4 @@
+#include <stdio.h>
 /**
  * @file impatomic.h
  * @brief Common header for C11/C++11 atomics
@@ -118,7 +119,7 @@ inline void atomic_flag::clear( memory_order __x__ ) volatile
                 __typeof__(__m__) __v__ = (__m__);                            \
                 bool __r__;                                                   \
                 __typeof__((__a__)->__f__) __t__=(__typeof__((__a__)->__f__)) model_rmwr_action((void *)__p__, __x__); \
-                if (__t__ == * __q__ ) {                                      \
+                if (__t__ == * __q__ ) {;                                     \
                         model_rmw_action((void *)__p__, __x__, (uint64_t) __v__); __r__ = true; } \
                 else {  model_rmwc_action((void *)__p__, __x__); *__q__ = __t__;  __r__ = false;} \
                 __r__; })