X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=include%2Fimpatomic.h;h=70b77de2ddc28cf2c3a5c356f718666eb0ea5a65;hp=100ad0d6c6a43902abe9a51949b8524807f80b84;hb=f750120c93252f2b677c4b07d003fc71fcdaaa00;hpb=6e0d0a36ea0f00925308504a44c7b690a9a1d6b7

diff --git a/include/impatomic.h b/include/impatomic.h
index 100ad0d6..70b77de2 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -118,7 +118,7 @@ inline void atomic_flag::clear( memory_order __x__ ) volatile
                 __typeof__(__e__) __q__ = (__e__);                            \
                 __typeof__(__m__) __v__ = (__m__);                            \
                 bool __r__;                                                   \
-                __typeof__((__a__)->__f__) __t__=(__typeof__((__a__)->__f__)) model_rmwr_action((void *)__p__, __x__); \
+                __typeof__((__a__)->__f__) __t__=(__typeof__((__a__)->__f__)) model_rmwrcas_action((void *)__p__, __x__, (uint64_t) * __q__, sizeof((__a__)->__f__)); \
                 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;} \