1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-ipa-cp-details" } */
       3  
       4  volatile int cond;
       5  int abs (int);
       6  
       7  static __attribute__((noinline, noclone))
       8  int foo (int i)
       9  {
      10    if (i < 5)
      11      __builtin_abort ();
      12    return 0;
      13  }
      14  
      15  static __attribute__((noinline, noclone))
      16  int bar (int j)
      17  {
      18    foo (~j);
      19    foo (abs (j));
      20    foo (j);
      21    return 0;
      22  }
      23  
      24  int main ()
      25  {
      26    for (unsigned int i = 0; i < 10; ++i)
      27      bar (i);
      28  
      29    return 0;
      30  }
      31  
      32  /* { dg-final { scan-ipa-dump-times "Setting value range of param 0 \\(now 0\\) \\\[-10, 9\\\]" 1 "cp" } } */