summaryrefslogtreecommitdiff
path: root/bin/ksh/alloc.c
diff options
context:
space:
mode:
authorchristos <christos@NetBSD.org>2006-03-21 23:40:49 +0000
committerchristos <christos@NetBSD.org>2006-03-21 23:40:49 +0000
commit3351d69442d8ae61db7635d9ed0fbfbade3f4df1 (patch)
tree93ace1067bfb76bcf19543bf97b6abf8cd2d4f9d /bin/ksh/alloc.c
parentf3cb4934df3d272003d5f37d5f3948ecb4bf65a6 (diff)
Add coverity model annotations
Diffstat (limited to 'bin/ksh/alloc.c')
-rw-r--r--bin/ksh/alloc.c4
1 files changed, 3 insertions, 1 deletions
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)
{