From 3351d69442d8ae61db7635d9ed0fbfbade3f4df1 Mon Sep 17 00:00:00 2001 From: christos Date: Tue, 21 Mar 2006 23:40:49 +0000 Subject: Add coverity model annotations --- bin/ksh/alloc.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'bin/ksh/alloc.c') diff --git a/bin/ksh/alloc.c b/bin/ksh/alloc.c index e2cc0e67528..280f824d1e5 100644 --- a/bin/ksh/alloc.c +++ b/bin/ksh/alloc.c @@ -1,4 +1,4 @@ -/* $NetBSD: alloc.c,v 1.6 2004/07/07 19:20:09 mycroft Exp $ */ +/* $NetBSD: alloc.c,v 1.7 2006/03/21 23:40:49 christos Exp $ */ /* * Copyright (c) 2002 Marc Espie. @@ -58,6 +58,7 @@ afreeall(Area *ap) #define L2P(l) ( (void *)(((char *)(l)) + sizeof(struct link)) ) #define P2L(p) ( (struct link *)(((char *)(p)) - sizeof(struct link)) ) +/* coverity[+alloc] */ void * alloc(size_t size, Area *ap) { @@ -100,6 +101,7 @@ aresize(void *ptr, size_t size, Area *ap) return L2P(l2); } +/* coverity[+free : arg-1] */ void afree(void *ptr, Area *ap) { -- cgit