small 'instrument-functions' patch

[James E Wilson]

Perret Yannick wrote:
> I manage to create the modification. As I'm not familiar
> with how patches are managed for gcc (in particular
> because it is not a bug correction but a modification of
> an existing feature) I prefer first to describe the modification
> and wait for indications.

There is information on our web site about contributing patches. See
     http://gcc.gnu.org/contribute.html

If it is more than about 10 lines or so, we need a copyright assignment. 
  It must follow GNU and GCC coding conventions.  It must be documented. 
  It must be tested.  Etc.

You submit a patch by sending it to the gcc-patches mailing list.  You 
then wait until it is reviewed.  There are often more patches being 
submitted than the reviewers have time to deal with, so if the patch 
isn't doing something obviously useful, there might be a wait for a review.
-- 
Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com