From 4c7b069212edd68336d73f21e7a381417d090327 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Aug 2020 10:32:47 +0200
Subject: [PATCH] Comment explaining need for std::move

---
 src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp  | 2 +-
 .../reachability/SparseDtmcEliminationModelChecker.cpp        | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
index c29035367..2e31f108c 100644
--- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
@@ -682,7 +682,7 @@ namespace storm {
                     for (auto& element : result) {
                         element = storm::utility::one<ValueType>() - element;
                     }
-                    return std::move(result);
+                    return std::move(result); // move() required by, e.g., clang 3.8
                 }
             }
             
diff --git a/src/storm/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp b/src/storm/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
index 38af2e3ac..cd7b5defb 100644
--- a/src/storm/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
+++ b/src/storm/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
@@ -494,7 +494,7 @@ namespace storm {
                 for (auto state : ~maybeStates | initialStates) {
                     (*checkResult)[state] = result[state];
                 }
-                return std::move(checkResult);
+                return std::move(checkResult); // move() required by, e.g., clang 3.8
             }
             return std::make_unique<ExplicitQuantitativeCheckResult<ValueType>>(result);
         }
@@ -591,7 +591,7 @@ namespace storm {
                 for (auto state : ~maybeStates | initialStates) {
                     (*checkResult)[state] = result[state];
                 }
-                return std::move(checkResult);
+                return std::move(checkResult); // move() required by, e.g., clang 3.8
             }
             return std::make_unique<ExplicitQuantitativeCheckResult<ValueType>>(result);
         }