1 typedef __INT32_TYPE__ int32
;
2 typedef __INT64_TYPE__ int64
;
4 static _Bool
sfoo(int64 a
) { return ((int32
) ~a
) == (~ (int32
)a
); }
5 static _Bool
sbar(int64 a
) { return (~(int32
) ~a
) == (int32
)a
; }
8 typedef __UINT32_TYPE__ uint32
;
9 typedef __UINT64_TYPE__ uint64
;
11 static _Bool
ufoo(uint64 a
) { return ((uint32
) ~a
) == (~ (uint32
)a
); }
12 static _Bool
ubar(uint64 a
) { return (~(uint32
) ~a
) == (uint32
)a
; }
15 * check-name: trunc-not0
16 * check-command: test-linearize -Wno-decl $file
19 * check-output-returns: 1