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