// Test for gcc-style "pure" attribute.
int __attribute__((pure)) f()
{
  return 0;
}

int main()
{
  return f();
}