__builtin_extend_pointer

[Joseph S. Myers]

On Wed, 16 Jun 2004, Benjamin Kosnik wrote:

> However, my preference is to document all builtins, and note the ones
> that are intended to be used by the general public explicitly.

Likewise.  We are users of GCC when we use these built-in functions to
implement run-time libraries and headers, and as such they should be
documented for such use (with a note that they should only be used in this
code coming with GCC, or in some particular category of code (e.g libc) as
the case may be).

-- 
Joseph S. Myers
jsm@polyomino.org.uk