1  unsigned int foo(unsigned int x)
       2  {
       3    if (x < 5)
       4      x = 4;
       5    else
       6      x = 8;
       7    return x;
       8  }
       9  
      10  int main(void)
      11  {
      12    if (foo (8) != 8)
      13      abort ();
      14    exit (0);
      15  }