projects
/
satcheck.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b394fb6
)
Fix apparent bug...
master
author
bdemsky
<bdemsky@uci.edu>
Sat, 2 Sep 2017 05:09:33 +0000
(22:09 -0700)
committer
bdemsky
<bdemsky@uci.edu>
Sat, 2 Sep 2017 05:09:33 +0000
(22:09 -0700)
constgen.cc
patch
|
blob
|
history
diff --git
a/constgen.cc
b/constgen.cc
index 27c17fb37643b5ffe2ea58ff60bdd7e0600287f1..ff72bf0b7720848b9620d6ed3dee0a3f47c42d67 100644
(file)
--- a/
constgen.cc
+++ b/
constgen.cc
@@
-983,7
+983,8
@@
bool ConstGen::orderThread(EPRecord *first, EPRecord *second) {
EPRecord *join=(*joinvec)[i];
ExecPoint *jp=join->getEP();
if (jp->get_tid()==thr2 &&
- jp->compare(ep2)==CR_AFTER)
+ jp->compare(ep2)==CR_AFTER &&
+ join->getJoinThread() == thr1)
return true;
}
return false;