1  /* { dg-lto-do run } */
       2  #include <stdio.h>
       3  
       4  extern int foo (int);
       5  
       6  int
       7  main()
       8  {
       9    int x = foo (10);
      10    printf ("x is %d, foo is at 0x%p\n", x, foo);
      11    return 0;
      12  }