From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 20 Aug 2017 21:15:09 +0000 (+0200)
Subject: Ensure that low is valid before using it.
X-Git-Tag: v3_17~152^2~19
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8bb5561932bd337c65393d9abea1fb97be87a17b?hp=01d7bd146ba0719d926c38dd41b28db6670d08f9

Ensure that low is valid before using it.
---

diff --git a/src/smpi/internals/smpi_shared.cpp b/src/smpi/internals/smpi_shared.cpp
index 27bd066e70..0dec96a395 100644
--- a/src/smpi/internals/smpi_shared.cpp
+++ b/src/smpi/internals/smpi_shared.cpp
@@ -388,7 +388,7 @@ int smpi_is_shared(void* ptr, std::vector<std::pair<size_t, size_t>> &private_bl
     return 0;
   if ( smpi_cfg_shared_malloc == shmalloc_local || smpi_cfg_shared_malloc == shmalloc_global) {
     auto low = allocs_metadata.lower_bound(ptr);
-    if (low->first==ptr) {
+    if (low != allocs_metadata.end() && low->first == ptr) {
       private_blocks = low->second.private_blocks;
       *offset = 0;
       return 1;