planning to build a predicate generator based on values that have been written to...

[c11tester.git] / funcinst.cc

diff --git a/funcinst.cc b/funcinst.cc
index 7e0446ffec149e9c778345c6ca2790ca48916cec..92890d58ce07b296daa0b7bb1c0c17e717d4bb78 100644 (file)
--- a/funcinst.cc
+++ b/funcinst.cc
@@ -58,5 +58,11 @@ FuncInst * FuncInst::search_in_collision(ModelAction *act)
 
 bool FuncInst::is_read() const
 {
-       return type == ATOMIC_READ || type == ATOMIC_RMWR || type == ATOMIC_RMWRCAS;
+       return type == ATOMIC_READ || type == ATOMIC_RMWR || type == ATOMIC_RMWRCAS; /* type == ATOMIC_RMW ? */
 }
+
+bool FuncInst::is_write() const
+{
+        return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == ATOMIC_UNINIT || type == NONATOMIC_WRITE;
+}
+