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)