Take size into account when building a unique name.

[simgrid.git] / src / smpi / smpi_bench.c

diff --git a/src/smpi/smpi_bench.c b/src/smpi/smpi_bench.c
index 4792346..113121d 100644 (file)
--- a/src/smpi/smpi_bench.c
+++ b/src/smpi/smpi_bench.c
@@ -124,7 +124,7 @@ void smpi_do_once_3()
 */
 
 void* smpi_shared_malloc(size_t size, const char* file, int line) {
-   char* loc = bprintf("%s:%d", file, line);
+   char* loc = bprintf("%s:%d:%zu", file, line, size);
    shared_data_t* data;
 
    if (!allocs) {