[kernel] FutureState.exception_ = nullptr

This is not mandated to happen with std::move() and does not happen in
at least one implementation.

diff --git a/include/simgrid/kernel/future.hpp b/include/simgrid/kernel/future.hpp
index 9a57f8b..034963d 100644 (file)
--- a/include/simgrid/kernel/future.hpp
+++ b/include/simgrid/kernel/future.hpp
@@ -121,6 +121,7 @@ protected:
     status_ = FutureStatus::done;
     if (exception_) {
       std::exception_ptr exception = std::move(exception_);
+      exception_ = nullptr;
       std::rethrow_exception(std::move(exception));
     }
   }