Chiebot-Mirror
/
yasm
mirror of https://github.com/yasm/yasm.git
9
0
Fork 0
Code Issues Projects Releases Wiki Activity

Splint cleanups on memory allocation routines.

Browse Source 
svn path=/trunk/yasm/; revision=593
0.3
Peter Johnson 23 years ago
parent b9541920f1
commit 1b6ca83117
3 changed files with 12 additions and 9 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 7
      libyasm/util.h
  2. 7
      src/util.h
  3. 7
      util.h

7
libyasm/util.h
Unescape View File

@ -129,9 +129,10 @@ int strncasecmp(const char *s1, const char *s2, size_t n);
/* Error-checking memory allocation routines in xmalloc.c. */ /* Error-checking memory allocation routines in xmalloc.c. */
/*@only@*/ /*@out@*/ void *xmalloc(size_t size); /*@only@*/ /*@out@*/ void *xmalloc(size_t size);
/*@only@*/ /*@out@*/ void *xcalloc(size_t nelem, size_t elsize); /*@only@*/ void *xcalloc(size_t nelem, size_t elsize);
/*@out@*/ void *xrealloc(/*@returned@*/ /*@null@*/ void *oldmem, size_t size); /*@only@*/ void *xrealloc(/*@only@*/ /*@out@*/ /*@returned@*/ /*@null@*/
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p); void *oldmem, size_t size) /*@modifies oldmem@*/;
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p) /*@modifies p@*/;
#endif #endif
/* Bit-counting: used primarily by HAMT but also in a few other places. */ /* Bit-counting: used primarily by HAMT but also in a few other places. */

7
src/util.h
Unescape View File

@ -129,9 +129,10 @@ int strncasecmp(const char *s1, const char *s2, size_t n);
/* Error-checking memory allocation routines in xmalloc.c. */ /* Error-checking memory allocation routines in xmalloc.c. */
/*@only@*/ /*@out@*/ void *xmalloc(size_t size); /*@only@*/ /*@out@*/ void *xmalloc(size_t size);
/*@only@*/ /*@out@*/ void *xcalloc(size_t nelem, size_t elsize); /*@only@*/ void *xcalloc(size_t nelem, size_t elsize);
/*@out@*/ void *xrealloc(/*@returned@*/ /*@null@*/ void *oldmem, size_t size); /*@only@*/ void *xrealloc(/*@only@*/ /*@out@*/ /*@returned@*/ /*@null@*/
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p); void *oldmem, size_t size) /*@modifies oldmem@*/;
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p) /*@modifies p@*/;
#endif #endif
/* Bit-counting: used primarily by HAMT but also in a few other places. */ /* Bit-counting: used primarily by HAMT but also in a few other places. */

7
util.h
Unescape View File

@ -129,9 +129,10 @@ int strncasecmp(const char *s1, const char *s2, size_t n);
/* Error-checking memory allocation routines in xmalloc.c. */ /* Error-checking memory allocation routines in xmalloc.c. */
/*@only@*/ /*@out@*/ void *xmalloc(size_t size); /*@only@*/ /*@out@*/ void *xmalloc(size_t size);
/*@only@*/ /*@out@*/ void *xcalloc(size_t nelem, size_t elsize); /*@only@*/ void *xcalloc(size_t nelem, size_t elsize);
/*@out@*/ void *xrealloc(/*@returned@*/ /*@null@*/ void *oldmem, size_t size); /*@only@*/ void *xrealloc(/*@only@*/ /*@out@*/ /*@returned@*/ /*@null@*/
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p); void *oldmem, size_t size) /*@modifies oldmem@*/;
void xfree(/*@only@*/ /*@out@*/ /*@null@*/ void *p) /*@modifies p@*/;
#endif #endif
/* Bit-counting: used primarily by HAMT but also in a few other places. */ /* Bit-counting: used primarily by HAMT but also in a few other places. */

Write Preview
Loading…
Cancel
Save