validation/builtin-arith.c

   1
   2
   3 void test(void (*fun)(void));
   4 void test(void (*fun)(void))
   5 {
   6         typedef typeof(__builtin_trap) t;       // OK
   7         void (*f)(void);
   8         int i;
   9
  10         f =  __builtin_trap;
  11         f = &__builtin_trap;
  12         f = *__builtin_trap;                    // OK for GCC
  13         f =  __builtin_trap + 0;
  14         f =  __builtin_trap + 1;
  15         f =  __builtin_trap - 1;
  16
  17         // (void) __builtin_trap;
  18         f = (void*) __builtin_trap;
  19         f = (unsigned long) __builtin_trap;
  20
  21         i = !__builtin_trap;
  22         i = (__builtin_trap > fun);
  23         i = (__builtin_trap == fun);
  24         i = (fun <  __builtin_trap);
  25         i = (fun == __builtin_trap);
  26
  27         __builtin_trap - fun;
  28         fun - __builtin_trap;
  29 }
  30
  31 /*
  32  * check-name: builtin arithmetic
  33  * check-command: sparse -Wno-decl $file
  34  *
  35  * check-error-start
  36 builtin-arith.c:10:14: error: taking the address of built-in function '__builtin_trap'
  37 builtin-arith.c:11:13: error: taking the address of built-in function '__builtin_trap'
  38 builtin-arith.c:12:14: error: taking the address of built-in function '__builtin_trap'
  39 builtin-arith.c:13:14: error: taking the address of built-in function '__builtin_trap'
  40 builtin-arith.c:13:29: error: arithmetics on pointers to functions
  41 builtin-arith.c:14:14: error: taking the address of built-in function '__builtin_trap'
  42 builtin-arith.c:14:29: error: arithmetics on pointers to functions
  43 builtin-arith.c:15:14: error: taking the address of built-in function '__builtin_trap'
  44 builtin-arith.c:15:29: error: arithmetics on pointers to functions
  45 builtin-arith.c:18:21: error: taking the address of built-in function '__builtin_trap'
  46 builtin-arith.c:19:29: error: taking the address of built-in function '__builtin_trap'
  47 builtin-arith.c:21:14: error: taking the address of built-in function '__builtin_trap'
  48 builtin-arith.c:22:14: error: taking the address of built-in function '__builtin_trap'
  49 builtin-arith.c:23:14: error: taking the address of built-in function '__builtin_trap'
  50 builtin-arith.c:24:21: error: taking the address of built-in function '__builtin_trap'
  51 builtin-arith.c:25:21: error: taking the address of built-in function '__builtin_trap'
  52 builtin-arith.c:27:9: error: taking the address of built-in function '__builtin_trap'
  53 builtin-arith.c:27:24: error: subtraction of functions? Share your drugs
  54 builtin-arith.c:28:15: error: taking the address of built-in function '__builtin_trap'
  55 builtin-arith.c:28:13: error: subtraction of functions? Share your drugs
  56  * check-error-end
  57  */