Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pvs] Don't let field uninitialized.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 26 Nov 2020 22:22:39 +0000 (23:22 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 1 Dec 2020 13:23:31 +0000 (14:23 +0100)
src/mc/inspect/mc_unw.hpp

index 38ffac2..3d40022 100644 (file)
@@ -45,7 +45,7 @@ namespace mc {
 class UnwindContext {
   simgrid::mc::AddressSpace* address_space_ = nullptr;
   simgrid::mc::RemoteSimulation* process_   = nullptr;
-  unw_context_t unwind_context_;
+  unw_context_t unwind_context_             = {};
 
 public:
   void initialize(simgrid::mc::RemoteSimulation* process, unw_context_t* c);