From 29e064e4f1fd538a612d04c7430179e65ec82dfa Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 12 Apr 2023 11:38:20 +0200
Subject: [PATCH] Sonar...

---
 src/mc/api/strategy/BasicStrategy.hpp | 2 +-
 src/mc/api/strategy/WaitStrategy.hpp  | 2 +-
 src/mc/explo/DFSExplorer.cpp          | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp
index 80b7dc3b8c..f06d86c783 100644
--- a/src/mc/api/strategy/BasicStrategy.hpp
+++ b/src/mc/api/strategy/BasicStrategy.hpp
@@ -12,7 +12,7 @@ namespace simgrid::mc {
 class BasicStrategy : public Strategy {
 public:
   BasicStrategy()                     = default;
-  ~BasicStrategy()                    = default;
+  ~BasicStrategy() override           = default;
   BasicStrategy(const BasicStrategy&) = delete;
   BasicStrategy& operator=(const BasicStrategy&)
   { /* nothing to copy over while cloning */
diff --git a/src/mc/api/strategy/WaitStrategy.hpp b/src/mc/api/strategy/WaitStrategy.hpp
index 182411ec4d..f1b2a857e3 100644
--- a/src/mc/api/strategy/WaitStrategy.hpp
+++ b/src/mc/api/strategy/WaitStrategy.hpp
@@ -18,7 +18,7 @@ class WaitStrategy : public Strategy {
 
 public:
   WaitStrategy()                     = default;
-  ~WaitStrategy()                    = default;
+  ~WaitStrategy() override           = default;
   WaitStrategy(const BasicStrategy&) = delete;
   WaitStrategy& operator=(const WaitStrategy& guide)
   {
diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index b34cec5253..a19d17a424 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -203,7 +203,7 @@ void DFSExplorer::run()
       aid_t issuer_id   = state->get_transition()->aid_;
       stack_t tmp_stack = stack_;
       while (not tmp_stack.empty()) {
-        if (State* prev_state = tmp_stack.back().get();
+        if (const State* prev_state = tmp_stack.back().get();
             state->get_transition()->aid_ == prev_state->get_transition()->aid_) {
           XBT_DEBUG("Simcall >>%s<< and >>%s<< with same issuer %ld", state->get_transition()->to_string().c_str(),
                     prev_state->get_transition()->to_string().c_str(), issuer_id);
-- 
2.20.1