1  /* PR 8639.  */
       2  
       3  extern void abort(void);
       4  
       5  int foo (int i)
       6  {
       7    int r;
       8    r = (80 - 4 * i) / 20;
       9    return r;
      10  }
      11      
      12  int main ()
      13  {
      14    if (foo (1) != 3)
      15      abort ();
      16    return 0;
      17  }