| /* { dg-do run } */ | |
| /* { dg-require-effective-target stdint_types } */ | |
| #include <stdint.h> | |
| uint64_t var_0 = 18128133247277979402ULL; | |
| int64_t var_14 = 6557021550272328915LL; | |
| uint64_t var_83 = 10966786425750692026ULL; | |
| void test() | |
| { | |
| var_14 = var_0 + (_Bool)7; | |
| var_83 = 1 + (int)var_0; // 1 + 888395530 | |
| } | |
| int main() | |
| { | |
| test(); | |
| if (var_83 != 888395531) | |
| __builtin_abort (); | |
| return 0; | |
| } |