From: mlaurent <mathieu.laurent@ens-rennes.fr>
Date: Fri, 17 Feb 2023 07:22:21 +0000 (+0100)
Subject: fix with full compiler warnings
X-Git-Tag: v3.34~436^2~9
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/01e2c00cfea470a9ddb77a0712888969a530eccd

fix with full compiler warnings
---

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 6fb9160f84..3c948ea958 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -29,7 +29,6 @@ State::State(const RemoteApp& remote_app, const State* previous_state) : num_(++
 
   remote_app.get_actors_status(actors_to_run_);
 
-  transition_.reset(new Transition());
   /* Stateful model checking */
   if ((_sg_mc_checkpoint > 0 && (num_ % _sg_mc_checkpoint == 0)) || _sg_mc_termination) {
     system_state_ = std::make_shared<simgrid::mc::Snapshot>(num_);
diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index e8bb0b0979..fa834497a4 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -209,7 +209,6 @@ void DFSExplorer::backtrack()
   backtrack_count_++;
   XBT_VERB("Backtracking from %s", get_record_trace().to_string().c_str());
   on_backtracking_signal(get_remote_app());
-
   get_remote_app().check_deadlock();
 
   /* We may backtrack from somewhere either because it's leaf, or because every enabled process are in done/sleep set.
@@ -267,7 +266,8 @@ void DFSExplorer::backtrack()
       XBT_DEBUG("Delete state %ld at depth %zu", state->get_num(), stack_.size() + 1);
 
     } else {
-	XBT_DEBUG("Back-tracking to state %ld at depth %zu: %ld transitions left to be explored", state->get_num(), stack_.size() + 1, state->count_todo());
+      XBT_DEBUG("Back-tracking to state %ld at depth %zu: %lu transitions left to be explored", state->get_num(),
+                stack_.size() + 1, state->count_todo());
       stack_.push_back(std::move(state)); // Put it back on the stack so we can explore the next transition of the interleave
       found_backtracking_point = true;
     }