1  /* { dg-do run } */
       2  /* { dg-options "-std=c99" } */
       3  
       4  extern void abort(void);
       5  
       6  typedef unsigned long long uint64;
       7  
       8  int very_large_value (uint64 t)
       9  {
      10    return (t / 1000000000ULL) > 9223372037ULL;
      11  }
      12  
      13  int main(void)
      14  {
      15    uint64 t = 0xC000000000000000ULL;
      16  
      17    if (!very_large_value (t))
      18      abort ();
      19  
      20    return 0;
      21  }