projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve the algorithm that marks which actions are needed by FuncNode
[c11tester.git]
/
predicate.cc
diff --git
a/predicate.cc
b/predicate.cc
index f6454dbce37d3efe8b62dd920429a230d1e32070..22fb0c7e8f8172d8cbf4963970c4edd7b5d85d3c 100644
(file)
--- a/
predicate.cc
+++ b/
predicate.cc
@@
-87,7
+87,8
@@
void Predicate::copy_predicate_expr(Predicate * other)
*/
Predicate * Predicate::follow_write_child(FuncInst * inst)
{
*/
Predicate * Predicate::follow_write_child(FuncInst * inst)
{
- ASSERT(inst->get_type() == ATOMIC_WRITE);
+ action_type type = inst->get_type();
+ ASSERT(type == ATOMIC_WRITE || type == ATOMIC_INIT);
for (uint i = 0;i < children.size();i++) {
Predicate * child = children[i];
for (uint i = 0;i < children.size();i++) {
Predicate * child = children[i];