Changeset 53031c2 in mainline for uspace/lib/posix/include


Ignore:
Timestamp:
2015-06-01T00:49:17Z (10 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
eab9689
Parents:
193d280c
Message:

add annotations for static checks

Location:
uspace/lib/posix/include/posix
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • uspace/lib/posix/include/posix/stdlib.h

    r193d280c r53031c2  
    116116
    117117/* Memory Allocation */
    118 extern void *__POSIX_DEF__(malloc)(size_t size);
    119 extern void *__POSIX_DEF__(calloc)(size_t nelem, size_t elsize);
    120 extern void *__POSIX_DEF__(realloc)(void *ptr, size_t size);
     118extern void *__POSIX_DEF__(malloc)(size_t size)
     119    __attribute__((malloc));
     120extern void *__POSIX_DEF__(calloc)(size_t nelem, size_t elsize)
     121    __attribute__((malloc));
     122extern void *__POSIX_DEF__(realloc)(void *ptr, size_t size)
     123    __attribute__((warn_unused_result));
    121124extern void __POSIX_DEF__(free)(void *ptr);
    122125

  • uspace/lib/posix/include/posix/string.h

    r193d280c r53031c2  
    6767/* From mem.h */
    6868// #define bzero(ptr, len)  memset((ptr), 0, (len))
    69 extern void *memset(void *, int, size_t);
    70 extern void *memcpy(void *, const void *, size_t);
    71 extern void *memmove(void *, const void *, size_t);
     69extern void *memset(void *, int, size_t)
     70    __attribute__((nonnull(1)));
     71extern void *memcpy(void *, const void *, size_t)
     72    __attribute__((nonnull(1, 2)));
     73extern void *memmove(void *, const void *, size_t)
     74    __attribute__((nonnull(1, 2)));
    7275
    7376
Note: See TracChangeset for help on using the changeset viewer.