From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 9 May 2023 14:46:08 +0000 (+0200)
Subject: Use forwarding references with std::forward (sonar).
X-Git-Tag: v3.34~131^2~2
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9f1ac89e1cc10c209138d3a753d4eac7b4bd9f61

Use forwarding references with std::forward (sonar).

(hope I got it right this time)
---

diff --git a/src/mc/explo/udpor/Unfolding.hpp b/src/mc/explo/udpor/Unfolding.hpp
index 140c893525..3fa80f219d 100644
--- a/src/mc/explo/udpor/Unfolding.hpp
+++ b/src/mc/explo/udpor/Unfolding.hpp
@@ -73,7 +73,7 @@ public:
    * to an equivalent event that was already noted by the unfolding
    * at some point in the past
    */
-  template <typename... Args> const UnfoldingEvent* discover_event(Args... args)
+  template <typename... Args> const UnfoldingEvent* discover_event(Args&&... args)
   {
     auto candidate_event = std::make_unique<UnfoldingEvent>(std::forward<Args>(args)...);
     return insert(std::move(candidate_event));