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()10 void test()
11 {
12   var_14 = var_0 + (_Bool)7;
13   var_83 = 1 + (int)var_0; // 1 + 888395530
14 }
15 
main()16 int main()
17 {
18   test();
19   if (var_83 != 888395531)
20     __builtin_abort ();
21   return 0;
22 }
23