diff options
| author | christos <christos@NetBSD.org> | 2006-03-21 23:40:49 +0000 |
|---|---|---|
| committer | christos <christos@NetBSD.org> | 2006-03-21 23:40:49 +0000 |
| commit | 3351d69442d8ae61db7635d9ed0fbfbade3f4df1 (patch) | |
| tree | 93ace1067bfb76bcf19543bf97b6abf8cd2d4f9d /bin/ksh/alloc.c | |
| parent | f3cb4934df3d272003d5f37d5f3948ecb4bf65a6 (diff) | |
Add coverity model annotations
Diffstat (limited to 'bin/ksh/alloc.c')
| -rw-r--r-- | bin/ksh/alloc.c | 4 |
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) { |
