1 static int g_7; 2 static int *volatile g_6 = &g_7; 3 int g_3; 4 f1(int * p_58)5static int f1 (int *p_58) 6 { 7 return *p_58; 8 } 9 10 void f2 (int i) __attribute__ ((noinline)); f2(int i)11void f2 (int i) 12 { 13 g_3 = i; 14 } 15 16 int f3 (void) __attribute__ ((noinline)); f3(void)17int f3 (void) 18 { 19 *g_6 = 1; 20 f2 (f1 (&g_7)); 21 return 0; 22 } 23 main()24int main () 25 { 26 f3 (); 27 if (g_3 != 1) 28 abort (); 29 exit (0); 30 } 31