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