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