1/* { dg-do compile } */
2/* { dg-options "-O3 -fipa-cp -fipa-cp-clone -fdump-ipa-cp -fno-early-inlining"  } */
3/* { dg-add-options bind_pic_locally } */
4
5#include <stdio.h>
6int g (int b, int c)
7{
8  printf ("%d %d\n", b, c);
9}
10int f (int a)
11{
12  /* a is modified.  */
13  if (a++ > 0)
14    g (a, 3);
15}
16int main ()
17{
18  int i;
19  for (i = 0; i < 100; i++)
20    f (7);
21  return 0;
22}
23
24
25/* { dg-final { scan-ipa-dump "Creating a specialized node of f" "cp" } } */
26/* { dg-final { scan-ipa-dump "replacing param .0 a with const 7" "cp"  } } */
27/* { dg-final { cleanup-ipa-dump "cp" } } */
28