2 /* { dg-require-effective-target stdint_types } */
6 uint64_t var_0
= 18128133247277979402ULL;
7 int64_t var_14
= 6557021550272328915LL;
8 uint64_t var_83
= 10966786425750692026ULL;
12 var_14
= var_0
+ (_Bool
)7;
13 var_83
= 1 + (int32_t)var_0
; // 1 + 888395530
19 if (var_83
!= 888395531)