1 typedef unsigned int    u32;
   2 typedef          int    s32;
   3 typedef void *vdp;
   4 typedef int  *sip;
   5 typedef double dbl;
   6 typedef unsigned short __attribute__((bitwise)) le16;
   7 
   8 static _Bool fs32(s32 a) { return (_Bool)a; }
   9 static _Bool fu32(u32 a) { return (_Bool)a; }
  10 static _Bool fvdp(vdp a) { return (_Bool)a; }
  11 static _Bool fsip(sip a) { return (_Bool)a; }
  12 static _Bool fdbl(dbl a) { return (_Bool)a; }
  13 static _Bool ffun(void)  { return (_Bool)ffun; }
  14 
  15 static _Bool fres(le16 a) { return (_Bool)a; }
  16 
  17 /*
  18  * check-name: bool-cast-explicit
  19  * check-command: test-linearize -m64 $file
  20  * check-output-ignore
  21  * check-output-excludes: cast\\.
  22  */