Annotate false positive reverse negative (CID #720487) (#4641)

coverity flags the check whether there are commands to run
with the comment "You might be using variable num_commands
before verifying that it is >=0."

diff --git a/src/listen/control/radmin.c b/src/listen/control/radmin.c
index fcb349cc1759477147c50eb858e9186a45133893..1e5af744d95c6fe0b7dcd4448e8d60a307a6a3b2 100644 (file)
--- a/src/listen/control/radmin.c
+++ b/src/listen/control/radmin.c
@@ -1116,6 +1116,7 @@ int main(int argc, char **argv)
        /*
         *      Run commands from the command-line.
         */
+       /* coverity[check_after_sink] */
        if (num_commands >= 0) {
                int i;