/* { dg-lto-do run } */
#include <stdio.h>
extern int foo (int);
main()
{
int x = foo (10);
printf ("x is %d, foo is at 0x%p\n", x, foo);
return 0;
}