• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 typedef __INT32_TYPE__ int32;
2 typedef __INT64_TYPE__ int64;
3 
sfoo(int64 a)4 static _Bool sfoo(int64 a) { return ((int32) ~a) == (~ (int32)a); }
sbar(int64 a)5 static _Bool sbar(int64 a) { return (~(int32) ~a) == (int32)a; }
6 
7 
8 typedef __UINT32_TYPE__ uint32;
9 typedef __UINT64_TYPE__ uint64;
10 
ufoo(uint64 a)11 static _Bool ufoo(uint64 a) { return ((uint32) ~a) == (~ (uint32)a); }
ubar(uint64 a)12 static _Bool ubar(uint64 a) { return (~(uint32) ~a) == (uint32)a; }
13 
14 /*
15  * check-name: trunc-not0
16  * check-command: test-linearize -Wno-decl $file
17  *
18  * check-output-ignore
19  * check-output-returns: 1
20  */
21