validation/enum-bounds.c

   1 enum bound_int_max {
   2         IMAX = __INT_MAX__,
   3 };
   4 _Static_assert([typeof(IMAX)] == [int], "");
   5
   6 enum bound_int_maxp1 {
   7         IMP1 = __INT_MAX__ + 1L,
   8 };
   9 _Static_assert([typeof(IMP1)] == [unsigned int], "");
  10
  11 enum bound_int_maxm1 {
  12         IMM1 = -__INT_MAX__ - 1L,
  13 };
  14 _Static_assert([typeof(IMM1)] == [int], "");
  15
  16 enum bound_int_maxm2 {
  17         IMM2 = -__INT_MAX__ - 2L,
  18 };
  19 _Static_assert([typeof(IMM2)] == [long], "");
  20
  21 /*
  22  * check-name: enum-bounds
  23  * check-command: sparse -m64 $file
  24  * check-assert: sizeof(long) == 8
  25  */