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
move MutexImpl to the right namespace
[simgrid.git]
/
src
/
mc
/
compare.cpp
diff --git
a/src/mc/compare.cpp
b/src/mc/compare.cpp
index
386e017
..
4cdf76a
100644
(file)
--- a/
src/mc/compare.cpp
+++ b/
src/mc/compare.cpp
@@
-122,7
+122,8
@@
namespace {
*
* It can hash pairs: the standard hash currently doesn't include this.
*/
*
* It can hash pairs: the standard hash currently doesn't include this.
*/
-template<class X> struct hash : public std::hash<X> {};
+template <class X> class hash : public std::hash<X> {
+};
template <class X, class Y> class hash<std::pair<X, Y>> {
public:
template <class X, class Y> class hash<std::pair<X, Y>> {
public:
@@
-343,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) {