1  int k = 50;
       2  static int __attribute__((noinline))
       3  foo ()
       4  {
       5    int i, res;
       6    for (i = 0, res = 0; i < k; i++)
       7      res += i;
       8  
       9    return res;
      10  }
      11  
      12  extern void abort ();
      13  
      14  int
      15  main (void)
      16  { 
      17    int res = foo ();
      18  
      19  
      20    if (res != 1225)
      21      abort ();
      22  
      23    return 0;
      24  }