From: James Jones <jejones3141@gmail.com>
Date: Wed, 3 Aug 2022 13:43:44 +0000 (-0500)
Subject: Annotate false positive reverse negative (CID #720487) (#4641)
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3c394ebe3e1aeac82e5a5dfbf8fe61122d10fa0;p=thirdparty%2Ffreeradius-server.git

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 fcb349cc175..1e5af744d95 100644
--- 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;