struct A
{
  int i;
  A() : i(0)
  {
  }
  int get_i()
  {
    return i;
  }
};

A factory()
{
  return A();
}

int main()
{
  // Altough the returned value of `factory' is an
  // rvalue, gcc accepts to bind it to the `this'
  // parameter of the method `get_i'. Note that when used,
  // a returned value is stored in a temporary
  // (see goto_convertt::remove_function_call). Thus,
  // the value returned by a function call can be treated
  // as an lvalue.
  //
  // It's not clear what the best is. Should this code be rejected?
  // Is the compatibility with gcc more important?

  assert(factory().get_i() == 0);
}