> Thanks for your response -- I guess know I need to what is mean by
> the "GCC manual".
The gcc manual is written in texinfo. You can use it to produce the
info pages, or convert it to tex, and print it as a book.
> Is this a printed document of some kind? Info certainly doesn't
> document all of these __bulitin functions, although several of them
> are there.
You did not mention what compiler version you were using. The manual
that comes with gcc 2.95 certainly has the documentation I claimed it
has. The locations I gave were Info node names, for example, in info,
you type 'g', then '(gcc)Return Address'.
> If the "GCC manual" is something I can get online, where do I look?
It is also available online, at
http://gcc.gnu.org/onlinedocs/
Regards,
Martin