Add comment about the difference between ModelAction::is_write and FuncInst::is_write

[c11tester.git] / funcinst.h

diff --git a/funcinst.h b/funcinst.h
index 95d92ff3e9580921dafd10e324b5d79b51f77d0c..6bbed2c88ca452c8af13ec31e72eb156f5c50e60 100644 (file)
--- a/funcinst.h
+++ b/funcinst.h
@@ -48,7 +48,11 @@ private:
         * location only stores the memory location when this FuncInst was constructed.
         */
        void * location;
+
+       /* NOTE: for rmw actions, func_inst and act may have different
+        * action types because of action type conversion in ModelExecution */
        action_type type;
+
        memory_order order;
        FuncNode * func_node;
 
@@ -66,4 +70,3 @@ private:
 };
 
 #endif /* __FUNCINST_H__ */
-