projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Work around changes in newer versions of glibc
[satcheck.git]
/
execpoint.cc
diff --git
a/execpoint.cc
b/execpoint.cc
index d35bd8d09efb70d48ca3491e24ec91256447c591..7b632134b87093f0f3d3f2364005d75b4ce9768d 100644
(file)
--- a/
execpoint.cc
+++ b/
execpoint.cc
@@
-130,26
+130,26
@@
bool ExecPointEquals(ExecPoint *e1, ExecPoint * e2) {
}
void ExecPoint::print(int f) {
}
void ExecPoint::print(int f) {
- dprintf(f,"<tid=%u,",tid);
+
model_
dprintf(f,"<tid=%u,",tid);
for(unsigned int i=0;i<size;i+=2) {
switch((ExecPointType)pairarray[i]) {
case EP_BRANCH:
for(unsigned int i=0;i<size;i+=2) {
switch((ExecPointType)pairarray[i]) {
case EP_BRANCH:
- dprintf(f,"br");
+
model_
dprintf(f,"br");
break;
case EP_COUNTER:
break;
case EP_COUNTER:
- dprintf(f,"cnt");
+
model_
dprintf(f,"cnt");
break;
case EP_LOOP:
break;
case EP_LOOP:
- dprintf(f,"lp");
+
model_
dprintf(f,"lp");
break;
default:
ASSERT(false);
}
break;
default:
ASSERT(false);
}
- dprintf(f, "(%u)", pairarray[i+1]);
+
model_
dprintf(f, "(%u)", pairarray[i+1]);
if ((i+2)<size)
if ((i+2)<size)
- dprintf(f, ", ");
+
model_
dprintf(f, ", ");
}
}
- dprintf(f, ">");
+
model_
dprintf(f, ">");
}
void ExecPoint::print() {
}
void ExecPoint::print() {