diff --git a/lib/krb5/principal.c b/lib/krb5/principal.c
index ebd35a8b7..90e4b7689 100644
--- a/lib/krb5/principal.c
+++ b/lib/krb5/principal.c
@@ -702,6 +702,7 @@ krb5_build_principal(krb5_context context,
  * @ingroup krb5_principal
  */
 
+/* coverity[+alloc : arg-*1] */
 KRB5_LIB_FUNCTION krb5_error_code KRB5_LIB_CALL
 krb5_make_principal(krb5_context context,
 		    krb5_principal *principal,