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