1 extern int printf (const char *, ...);
3 extern int library_func1 (void);
4 extern int library_func2 (void);
12 res += library_func1 ();
13 res += library_func2 ();
19 printf ("ifunc working correctly\n");
22 printf ("wrong value returned by library_func2\n");
29 printf ("wrong value returned by library_func2\n");
32 printf ("ifunc working correctly\n");
38 printf ("non-ifunc testcase\n");
42 printf ("ifunc function not evaluated at run-time, res = %x\n", res);