From: Alan T. DeKok <aland@freeradius.org>
Date: Thu, 21 Feb 2013 00:42:50 +0000 (-0500)
Subject: Fix for coverity
X-Git-Tag: release_3_0_0_beta1~966
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd4707e57aa2a0dfe09653d4918572d304e62e54;p=thirdparty%2Ffreeradius-server.git

Fix for coverity
---

diff --git a/src/modules/rlm_krb5/rlm_krb5.c b/src/modules/rlm_krb5/rlm_krb5.c
index 167c4994382..6743f0ec893 100644
--- a/src/modules/rlm_krb5/rlm_krb5.c
+++ b/src/modules/rlm_krb5/rlm_krb5.c
@@ -327,6 +327,7 @@ static rlm_rcode_t krb5_auth(void *instance, REQUEST *request)
 		
 		return RLM_MODULE_FAIL;
 	}
+	rad_assert(context != NULL); /* tell coverity copy context copies it */
 
 	/*
 	 *	Check we have all the required VPs, and convert the username