1  /* { dg-do run } */
       2  
       3  const int c1 = 1;
       4  const int c2 = 2;
       5  
       6  int
       7  check (int i)
       8  {
       9    int j;
      10    if (i >= 0)
      11      j = c2 - i;
      12    else
      13      j = c2 - i;
      14    return c2 - c1 + 1 > j;
      15  }
      16  
      17  int invoke (int *pi) __attribute__ ((noinline,noclone));
      18  int
      19  invoke (int *pi)
      20  {
      21    return check (*pi);
      22  }
      23  
      24  int
      25  main ()
      26  {
      27    int i = c1;
      28    int ret = invoke (&i);
      29    if (!ret)
      30      __builtin_abort ();
      31    return 0;
      32  }