Try to tell sonar that the mutex_ cannot be null in is_enabled()

diff --git a/src/kernel/actor/MutexObserver.cpp b/src/kernel/actor/MutexObserver.cpp
index 4c54def..f6c454f 100644 (file)
--- a/src/kernel/actor/MutexObserver.cpp
+++ b/src/kernel/actor/MutexObserver.cpp
@@ -20,6 +20,7 @@ namespace actor {
 MutexObserver::MutexObserver(ActorImpl* actor, mc::Transition::Type type, activity::MutexImpl* mutex)
     : SimcallObserver(actor), type_(type), mutex_(mutex)
 {
+  xbt_assert(mutex_);
 }
 
 void MutexObserver::serialize(std::stringstream& stream) const