1 /* { dg-do run } */ 2 /* { dg-require-effective-target stdint_types } */ 3 4 #include <stdint.h> 5 6 uint64_t var_0 = 18128133247277979402ULL; 7 int64_t var_14 = 6557021550272328915LL; 8 uint64_t var_83 = 10966786425750692026ULL; 9 test()10void test() 11 { 12 var_14 = var_0 + (_Bool)7; 13 var_83 = 1 + (int)var_0; // 1 + 888395530 14 } 15 main()16int main() 17 { 18 test(); 19 if (var_83 != 888395531) 20 __builtin_abort (); 21 return 0; 22 } 23