1/* { dg-do compile } */
2/* { dg-options "-O2 -fdump-ipa-icf"  } */
3
4int ferda(int x, int y) __attribute__ ((pure));
5int funkce(int a, int b) __attribute__ ((pure));
6
7__attribute__ ((noinline))
8int ferda(int x, int y)
9{
10  if (x < y)
11    {
12      return x;
13    }
14  else
15    return y;
16}
17
18__attribute__ ((noinline))
19int funkce(int a, int b)
20{
21  if(a < b)
22    return a;
23  else
24    return b;
25}
26
27int main(int argc, char **argv)
28{
29  return 0;
30}
31
32/* { dg-final { scan-ipa-dump "Semantic equality hit:funkce->ferda" "icf"  } } */
33/* { dg-final { scan-ipa-dump "Equal symbols: 1" "icf"  } } */
34/* { dg-final { cleanup-ipa-dump "icf" } } */
35