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