Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sonar: replace "switch" statement by an "if".
[simgrid.git] / src / mc / ModelChecker.cpp
index 4c47db5..d657f2a 100644 (file)
@@ -375,13 +375,8 @@ void ModelChecker::handle_waitpid()
 
 void ModelChecker::on_signal(int signo)
 {
-  switch(signo) {
-  case SIGCHLD:
+  if (signo == SIGCHLD)
     this->handle_waitpid();
-    break;
-  default:
-    break;
-  }
 }
 
 void ModelChecker::wait_for_requests()