Changeset 53031c2 in mainline for uspace


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
Files:
5 edited

Legend:

Unmodified
Added
Removed

  • uspace/lib/c/include/malloc.h

    r193d280c r53031c2  
    4444extern void *memalign(const size_t align, const size_t size)
    4545    __attribute__((malloc));
    46 extern void *realloc(const void *addr, const size_t size);
     46extern void *realloc(const void *addr, const size_t size)
     47    __attribute__((warn_unused_result));
    4748extern void free(const void *addr);
    4849extern void *heap_check(void);

  • uspace/lib/c/include/mem.h

    r193d280c r53031c2  
    4040
    4141extern void *memset(void *, int, size_t)
     42    __attribute__((nonnull(1)))
    4243    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns");
    4344extern void *memcpy(void *, const void *, size_t)
     45    __attribute__((nonnull(1, 2)))
    4446    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns");
    45 extern void *memmove(void *, const void *, size_t);
    46 extern int memcmp(const void *, const void *, size_t);
     47extern void *memmove(void *, const void *, size_t)
     48    __attribute__((nonnull(1, 2)));
     49extern int memcmp(const void *, const void *, size_t)
     50    __attribute__((nonnull(1, 2)));
    4751
    4852#endif

  • uspace/lib/c/include/task.h

    r193d280c r53031c2  
    6060extern int task_spawn(task_id_t *, task_wait_t *, const char *path, int,
    6161    va_list ap);
    62 extern int task_spawnl(task_id_t *, task_wait_t *, const char *path, ...);
     62extern int task_spawnl(task_id_t *, task_wait_t *, const char *path, ...)
     63    __attribute__((sentinel));
    6364
    6465extern int task_setup_wait(task_id_t, task_wait_t *);

  • 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.