diff -ru openvas-scanner-5.1.1/src/pluginscheduler.c openvas-scanner-5.1.1.new/src/pluginscheduler.c
--- openvas-scanner-5.1.1/src/pluginscheduler.c	2016-11-10 10:57:56.000000000 +0100
+++ openvas-scanner-5.1.1.new/src/pluginscheduler.c	2017-04-18 03:14:26.811428275 +0200
@@ -373,7 +373,10 @@
           break;
         case PLUGIN_STATUS_DONE_AND_CLEANED:
           break;
-        }
+
+        /* fallthrough */
+        /* false positive */
+      }
     }
 
   if (!flag)