Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark as volatile a variable used in a CATCH block
[simgrid.git] / src / gras / Msg / msg.c
index e4edd08..65ffedd 100644 (file)
@@ -500,7 +500,8 @@ gras_msg_handle(double timeOut) {
   
   double          untiltimer;
    
-  int             cpt, ran_ok;
+  int             cpt;
+  int volatile ran_ok;
 
   s_gras_msg_t    msg;