1  static int f(int) __attribute__((const));
       2  int main()
       3  {
       4     int f1, f2, x;
       5     x = 1; f1 = f(x);
       6     x = 2; f2 = f(x);
       7     if (f1 != 1 || f2 != 2)
       8       abort ();
       9     exit (0);
      10  }
      11  static int f(int x) { return x; }