From b0ed05395aae4ef44a30248bedc3bbba6fafacab Mon Sep 17 00:00:00 2001 From: Love Hornquist Astrand Date: Tue, 27 Nov 2012 21:25:02 -0800 Subject: [PATCH] tell coverity that principal returns an allocated pointer --- lib/krb5/principal.c | 1 + 1 file changed, 1 insertion(+) 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,