Branch data     Line data    Source code

       1                 :            : #include <ccan/short_types/short_types.h>
       2                 :            : #include <ccan/tap/tap.h>
       3                 :            : #include <stdlib.h>
       4                 :            : #include <err.h>
       5                 :            : 
       6                 :          3 : int main(void)
       7                 :            : {
       8                 :            :         plan_tests(16);
       9                 :            : 
      10                 :            :         ok1(sizeof(u64) == 8);
      11                 :            :         ok1(sizeof(s64) == 8);
      12                 :            :         ok1(sizeof(u32) == 4);
      13                 :            :         ok1(sizeof(s32) == 4);
      14                 :            :         ok1(sizeof(u16) == 2);
      15                 :            :         ok1(sizeof(s16) == 2);
      16                 :            :         ok1(sizeof(u8) == 1);
      17                 :            :         ok1(sizeof(s8) == 1);
      18                 :            : 
      19                 :            :         /* Signedness tests. */
      20                 :            :         ok1((u64)-1 > 0);
      21                 :            :         ok1((u32)-1 > 0);
      22                 :            :         ok1((u16)-1 > 0);
      23                 :            :         ok1((u8)-1 > 0);
      24                 :            :         ok1((s64)-1 < 0);
      25                 :            :         ok1((s32)-1 < 0);
      26                 :            :         ok1((s16)-1 < 0);
      27                 :            :         ok1((s8)-1 < 0);
      28                 :            : 
      29                 :          3 :         return exit_status();
      30                 :            : }