1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  /* This variable needed only to exercise FRE instead of CCP.  */
       5  unsigned char g;
       6  
       7  extern void abort();
       8  
       9  void f (long long int p)
      10  {
      11    g = 255;
      12    if (p >= (-9223372036854775807LL - 1) - (signed char) g)
      13      p = 1;
      14  
      15    if (p)
      16      abort ();
      17  }
      18  
      19