Re: [PATCH][3.4] Fix PR15366, -fno-inline-functions is ignored forstatic functions

[Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>]

> + @item -finline-functions-called-once
> + @opindex finline-functions-called-once
> + Integrate functions called once into their callers.  The compiler
> + heuristically decides which functions are simple enough to be worth
> + integrating in this way.

This doc seems a bit incomplet and/or incorrekt... I think something 
simpler, like

  Integrate functions called once into their callers, even if not marked
  as @code{inline}.

will probably do.  I'd take the occasion to add the "even if not marked 
as @code{inline}" bit to the doc for -finline-functions, as well.

Paolo