]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
Correct connection_deferred_signal_process() annotation (CID #1469149) (#4640)
authorJames Jones <jejones3141@gmail.com>
Wed, 3 Aug 2022 13:43:20 +0000 (08:43 -0500)
committerGitHub <noreply@github.com>
Wed, 3 Aug 2022 13:43:20 +0000 (09:43 -0400)
src/lib/server/connection.c

index d5754e212f79c3e48124c32db4b7ea2f933d9608..6f6752d16ac317153a3de55a6132f7fb1622bfdd 100644 (file)
@@ -296,7 +296,7 @@ static void connection_deferred_signal_process(fr_connection_t *conn)
                 *      One of the signal handlers freed the connection
                 *      return immediately.
                 */
-               /* coverity[deadcode] */
+               /* coverity[dead_error_line] */
                if (freed) return;
        }