diff options
Diffstat (limited to 'rpmio/rpmmalloc.c')
| -rw-r--r-- | rpmio/rpmmalloc.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rpmio/rpmmalloc.c b/rpmio/rpmmalloc.c index d5e467ab5..911d97721 100644 --- a/rpmio/rpmmalloc.c +++ b/rpmio/rpmmalloc.c @@ -19,16 +19,14 @@ #if !(HAVE_MCHECK_H && defined(__GNUC__)) && !defined(__LCLINT__) -/*@only@*/ void * xmalloc (size_t size) +/*@out@*/ /*@only@*/ void * xmalloc (size_t size) { register void *value; if (size == 0) size++; value = malloc (size); if (value == 0) value = vmefail(size); - /*@-compdef@*/ return value; - /*@=compdef@*/ } /*@only@*/ void * xcalloc (size_t nmemb, size_t size) |