From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 24 Oct 2023 23:11:10 +0000 (+0200)
Subject: Instructive error message
X-Git-Tag: v3.35~89^2~56
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/590f0e70eaf1a8f60495a146f3059112468bc2b4

Instructive error message
---

diff --git a/src/sthread/ObjectAccess.cpp b/src/sthread/ObjectAccess.cpp
index 30c10f34ee..7e3e6d46b5 100644
--- a/src/sthread/ObjectAccess.cpp
+++ b/src/sthread/ObjectAccess.cpp
@@ -120,8 +120,9 @@ void sthread_access_end(void* objaddr, const char* objname, const char* file, in
       [self, objaddr, objname]() -> void {
         XBT_INFO("%s releases %s", self->get_cname(), objname);
         auto* ownership = get_owner(objaddr);
-        xbt_assert(ownership->owner == self, "safety check failed: %s is not owner of the object it's releasing.",
-                   self->get_cname());
+        xbt_assert(ownership->owner == self,
+                   "safety check failed: %s is not owner of the object it's releasing. That object owned by %s.",
+                   self->get_cname(), (ownership->owner == nullptr ? "nobody" : ownership->owner->get_cname()));
         ownership->recursive_depth--;
         if (ownership->recursive_depth == 0)
           ownership->owner = nullptr;