1typedef __INT32_TYPE__ int32;
2typedef __INT64_TYPE__ int64;
3
4static _Bool sfoo(int64 a) { return ((int32) ~a) == (~ (int32)a); }
5static _Bool sbar(int64 a) { return (~(int32) ~a) == (int32)a; }
6
7
8typedef __UINT32_TYPE__ uint32;
9typedef __UINT64_TYPE__ uint64;
10
11static _Bool ufoo(uint64 a) { return ((uint32) ~a) == (~ (uint32)a); }
12static _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