From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 26 Nov 2020 21:42:34 +0000 (+0100)
Subject: [pvs] Two or more case-branches perform the same actions.
X-Git-Tag: v3.26~84
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8c6149c8a5052bea02423da2997d4f6756e76018

[pvs] Two or more case-branches perform the same actions.
---

diff --git a/teshsuite/smpi/privatization/privatization.c b/teshsuite/smpi/privatization/privatization.c
index 7a79bb36f0..ec4509ab2f 100644
--- a/teshsuite/smpi/privatization/privatization.c
+++ b/teshsuite/smpi/privatization/privatization.c
@@ -19,8 +19,6 @@ static void test_opts(int argc, char* const argv[])
 
     switch (ret) {
       case 0:
-        found++;
-      break;
       case 's':
         found ++;
       break;
diff --git a/teshsuite/smpi/pt2pt-dsend/pt2pt-dsend.c b/teshsuite/smpi/pt2pt-dsend/pt2pt-dsend.c
index fe36b7c23e..4e17c66ed4 100644
--- a/teshsuite/smpi/pt2pt-dsend/pt2pt-dsend.c
+++ b/teshsuite/smpi/pt2pt-dsend/pt2pt-dsend.c
@@ -26,8 +26,6 @@ static void test_opts(int argc, char* const argv[])
 
     switch (ret) {
       case 0:
-        found++;
-      break;
       case 's':
         found ++;
       break;