validation/bool-cast-restricted.c

   1 typedef unsigned   int __attribute__((bitwise)) large_t;
   2 #define LBIT    ((__attribute__((force)) large_t) 1)
   3
   4 _Bool lfoo(large_t x) { return x; }
   5 _Bool lbar(large_t x) { return ~x; }
   6 _Bool lbaz(large_t x) { return !x; }
   7 _Bool lqux(large_t x) { return x & LBIT; }
   8
   9
  10 typedef unsigned short __attribute__((bitwise)) small_t;
  11 #define SBIT    ((__attribute__((force)) small_t) 1)
  12
  13 _Bool sfoo(small_t x) { return x; }
  14 _Bool sbar(small_t x) { return ~x; }
  15 _Bool sbaz(small_t x) { return !x; }
  16 _Bool squx(small_t x) { return x & SBIT; }
  17
  18 /*
  19  * check-name: bool-cast-restricted.c
  20  * check-command: sparse -Wno-decl $file
  21  *
  22  * check-error-start
  23 bool-cast-restricted.c:14:32: warning: restricted small_t degrades to integer
  24  * check-error-end
  25  */