Changeset 53031c2 in mainline for kernel


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:
kernel/generic/include
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/include/lib/memfnc.h

    r193d280c r53031c2  
    4646
    4747extern void *memset(void *, int, size_t)
     48    __attribute__((nonnull(1)))
    4849    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns") DO_NOT_DISCARD;
    4950extern void *memcpy(void *, const void *, size_t)
     51    __attribute__((nonnull(1, 2)))
    5052    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns") DO_NOT_DISCARD;
    5153

  • kernel/generic/include/memstr.h

    r193d280c r53031c2  
    4848#define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
    4949
    50 extern void memsetb(void *, size_t, uint8_t);
    51 extern void memsetw(void *, size_t, uint16_t);
    52 extern void *memmove(void *, const void *, size_t) DO_NOT_DISCARD;
     50extern void memsetb(void *, size_t, uint8_t)
     51    __attribute__((nonnull(1)));
     52extern void memsetw(void *, size_t, uint16_t)
     53    __attribute__((nonnull(1)));
     54extern void *memmove(void *, const void *, size_t)
     55    __attribute__((nonnull(1, 2))) DO_NOT_DISCARD;
    5356
    5457#endif

  • kernel/generic/include/mm/slab.h

    r193d280c r53031c2  
    142142extern void *malloc(size_t, unsigned int)
    143143    __attribute__((malloc));
    144 extern void *realloc(void *, size_t, unsigned int);
     144extern void *realloc(void *, size_t, unsigned int)
     145    __attribute__((warn_unused_result));
    145146extern void free(void *);
    146147
Note: See TracChangeset for help on using the changeset viewer.