A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove the last include of private header from installed headers
[simgrid.git]
/
src
/
mc
/
compare.cpp
diff --git
a/src/mc/compare.cpp
b/src/mc/compare.cpp
index
ab4bc29
..
4cdf76a
100644
(file)
--- a/
src/mc/compare.cpp
+++ b/
src/mc/compare.cpp
@@
-344,9
+344,9
@@
int mmalloc_compare_heap(
// This is in snapshot do not use them directly:
const malloc_info* heapinfos1 = snapshot1->read<malloc_info*>(
// This is in snapshot do not use them directly:
const malloc_info* heapinfos1 = snapshot1->read<malloc_info*>(
-
(std::uint64_t)heapinfo_address
, simgrid::mc::ProcessIndexMissing);
+
RemotePtr<malloc_info*>((std::uint64_t)heapinfo_address)
, simgrid::mc::ProcessIndexMissing);
const malloc_info* heapinfos2 = snapshot2->read<malloc_info*>(
const malloc_info* heapinfos2 = snapshot2->read<malloc_info*>(
-
(std::uint64_t)heapinfo_address
, simgrid::mc::ProcessIndexMissing);
+
RemotePtr<malloc_info*>((std::uint64_t)heapinfo_address)
, simgrid::mc::ProcessIndexMissing);
while (i1 < state.heaplimit) {
while (i1 < state.heaplimit) {