1  /* PR target/49186 */
       2  extern void abort (void);
       3  
       4  int
       5  main ()
       6  {
       7    int x;
       8    unsigned long long uv = 0x1000000001ULL;
       9  
      10    x = (uv < 0x80) ? 1 : ((uv < 0x800) ? 2 : 3);
      11    if (x != 3)
      12      abort ();
      13  
      14    return 0;
      15  }