Workaround for this bogus s64 warnings. Thanks, Linus!

edge.strict_endians
yura 2006-12-12 20:27:32 +00:00
parent 10b22550cd
commit 914cf8f2be
1 changed files with 4 additions and 0 deletions

View File

@ -35,6 +35,10 @@
#include <sys/types.h>
#endif
#ifdef __CHECKER__
typedef int __attribute__((__mode__(__DI__))) int64_t;
#endif
typedef uint8_t u8; /* Unsigned types of an exact size */
typedef uint16_t u16;
typedef uint32_t u32;