| #include <stdio.h> | |
| extern int foo1 (void); | |
| extern int foo2 (void); | |
| extern int foo3 (void); | |
| static int my_var __attribute__((used, section("__verbose"))) = 6; | |
| int | |
| main () | |
| { | |
| if (foo1 () == 0 | |
| && foo2 () == 0 | |
| && foo3 () == 0) | |
| printf ("PASS\n"); | |
| return 0; | |
| } |