diff options
Diffstat (limited to 'popt/poptint.h')
| -rw-r--r-- | popt/poptint.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/popt/poptint.h b/popt/poptint.h index 59841e0db..fe8430b76 100644 --- a/popt/poptint.h +++ b/popt/poptint.h @@ -14,7 +14,10 @@ * @param p memory to free * @retval NULL always */ -/*@unused@*/ static inline /*@null@*/ void * _free(/*@only@*/ /*@null@*/ const void * p) { +/*@unused@*/ static inline /*@null@*/ void * +_free(/*@only@*/ /*@null@*/ const void * p) + /*@modifies p @*/ +{ if (p != NULL) free((void *)p); return NULL; } |