1  /* { dg-do run } */
       2  /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
       3  /* { dg-options "-fsanitize=undefined -fipa-icf" } */
       4  
       5  __attribute__ ((noinline, noclone))
       6  int f1 (int x, int y)
       7  {
       8    return x + y;
       9  }
      10  
      11  __attribute__ ((noinline, noclone))
      12  int f2 (int x, int y)
      13  {
      14    return x - y;
      15  }
      16  
      17  int
      18  main ()
      19  {
      20    if (f1 (5, 6) != 11 || f2 (5, 6) != -1)
      21      __builtin_abort ();
      22    return 0;
      23  }