projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of uninitialized actions and just use non-atomic writes instead
[c11tester.git]
/
funcinst.cc
diff --git
a/funcinst.cc
b/funcinst.cc
index df91edc848cb9a0417385bf0e6e78f31bcc321cd..d4288a1438384aff5520ae96aa36016fe6aa8ec6 100644
(file)
--- a/
funcinst.cc
+++ b/
funcinst.cc
@@
-67,7
+67,7
@@
FuncInst * FuncInst::search_in_collision(ModelAction *act)
action_type type = act->get_type();
mllnode<FuncInst*> * it;
action_type type = act->get_type();
mllnode<FuncInst*> * it;
- for (it = collisions.begin();
it != NULL;
it = it->getNext()) {
+ for (it = collisions.begin();
it != NULL;
it = it->getNext()) {
FuncInst * inst = it->getVal();
if (inst->get_type() == type)
return inst;
FuncInst * inst = it->getVal();
if (inst->get_type() == type)
return inst;
@@
-90,7
+90,7
@@
bool FuncInst::is_read() const
* is_write() <==> pure writes (excluding rmw) */
bool FuncInst::is_write() 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()
}
void FuncInst::print()