main.c (456B)
1 extern int tier1_helper_value(int x); 2 extern int tier1_archive_value(void); 3 4 int tier1_live_data = 5; 5 int *tier1_live_data_ref = &tier1_live_data; 6 7 __attribute__((noinline)) static int tier1_live_local(void) { 8 return tier1_helper_value(*tier1_live_data_ref) + tier1_archive_value(); 9 } 10 11 __attribute__((noinline)) static int tier1_dead_local(void) { 12 return 99; 13 } 14 15 int test_main(void) { 16 return tier1_live_local() == 42 ? 0 : tier1_dead_local(); 17 }