Separate the marking algorithm and action removal algorithm

[c11tester.git] / funcinst.cc

diff --git a/funcinst.cc b/funcinst.cc
index 95e93fc20e6865e90c1c67cf05e2df049458b12f..d4288a1438384aff5520ae96aa36016fe6aa8ec6 100644 (file)
--- a/funcinst.cc
+++ b/funcinst.cc
@@ -90,7 +90,7 @@ bool FuncInst::is_read() const
  * is_write() <==> pure writes (excluding rmw) */
 bool FuncInst::is_write() const
 {
-       return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == ATOMIC_UNINIT || type == NONATOMIC_WRITE;
+       return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == NONATOMIC_WRITE;
 }
 
 void FuncInst::print()