projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Build without warnings
[satcheck.git]
/
mcexecution.cc
diff --git
a/mcexecution.cc
b/mcexecution.cc
index 573b0b2de0907fca36710561a2e96a315249e523..59ea44aeb34d6b091b004c8e9f55385c67862bbf 100644
(file)
--- a/
mcexecution.cc
+++ b/
mcexecution.cc
@@
-212,7
+212,7
@@
uint64_t MCExecution::rmw(enum atomicop op, void *addr, uint len, uint64_t currv
uint64_t newval;
uint64_t retval=dormwaction(op, addr, len, currval, oldval, valarg, &newval);
if (DBG_ENABLED()) {
uint64_t newval;
uint64_t retval=dormwaction(op, addr, len, currval, oldval, valarg, &newval);
if (DBG_ENABLED()) {
- model_print("RMW %p oldval=%l
u valarg=%lu retval=%
lu", addr, oldval, valarg, retval);
+ model_print("RMW %p oldval=%l
lu valarg=%llu retval=%l
lu", addr, oldval, valarg, retval);
currexecpoint->print();
model_print("\n");
}
currexecpoint->print();
model_print("\n");
}
@@
-313,7
+313,7
@@
void MCExecution::doStore(thread_id_t tid) {
EPValue * epval=list->front();
list->pop_front();
if (DBG_ENABLED()) {
EPValue * epval=list->front();
list->pop_front();
if (DBG_ENABLED()) {
- model_print("tid = %
lu
: ", tid);
+ model_print("tid = %
d
: ", tid);
}
doStore(epval);
}
}
doStore(epval);
}
@@
-323,7
+323,7
@@
void MCExecution::doStore(EPValue *epval) {
uint64_t val=epval->getValue();
int len=epval->getLen();
if (DBG_ENABLED()) {
uint64_t val=epval->getValue();
int len=epval->getLen();
if (DBG_ENABLED()) {
- model_print("flushing %d bytes *(%p) = %lu", len, addr, val);
+ model_print("flushing %d bytes *(%p) = %l
l
u", len, addr, val);
currexecpoint->print();
model_print("\n");
}
currexecpoint->print();
model_print("\n");
}
@@
-405,7
+405,7
@@
void MCExecution::store(void *addr, uint64_t val, int len) {
#endif
if (DBG_ENABLED()) {
#endif
if (DBG_ENABLED()) {
- model_print("STORE *%p=%lu ", addr, val);
+ model_print("STORE *%p=%l
l
u ", addr, val);
currexecpoint->print();
model_print("\n");
}
currexecpoint->print();
model_print("\n");
}
@@
-515,7
+515,7
@@
uint64_t MCExecution::load(const void *addr, int len) {
#endif
if (DBG_ENABLED()) {
#endif
if (DBG_ENABLED()) {
- model_print("%lu(mid=%u)=LOAD %p ", val, id_retval, addr);
+ model_print("%l
l
u(mid=%u)=LOAD %p ", val, id_retval, addr);
currexecpoint->print();
model_print("\n");
}
currexecpoint->print();
model_print("\n");
}