/* { dg-do compile } */
/* { dg-options "-O2 -fdump-ipa-icf"  } */

void f1()
{
}

void f2()
{
}

static void (*a)(void)=&f1;
static void (*b)(void)=&f1;
static void (*c)(void)=&f2;
static void (*d)(void)=&f2;

int main()
{
  a();
  b();
  c();
  d();

  return 0;
}

/* { dg-final { scan-ipa-dump "Equal symbols: 3" "icf"  } } */
/* { dg-final { scan-ipa-dump "Semantic equality hit:f1->f2" "icf"  } } */
/* { dg-final { scan-ipa-dump "Semantic equality hit:c->d" "icf"  } } */
/* { dg-final { scan-ipa-dump "Semantic equality hit:a->b" "icf"  } } */