When using a variable length argument list with the last argument e.g. char,
the pointers used by va_arg are incorrect, since a copy of the variable value is
created in the local variable area. Since the va pointer is calculated relative
to this pointer, this doesn't work.

Change the definition of va_start to use __builtin_next_arg, like
is used in the stdarg.h from gcc 2.7.2.
The same should probably be done for vararg (unless I misread it, it's
currently broken anyway).

OK, the current vararg implementation is not broken. But neverthess, I would
say it should be synced with the one in gcc 2.7.2, since it uses a builtin
that may tell the compiler that varargs is used and maybe turn off some
optimizations and it uses the ... syntax instead of a dummy argument, which
is probably preferable.

The following code fails as well:

#include <stdio.h>
#include <stdarg.h>

#define ENUM short unsigned int

void PrintBarAddress(ENUM, ...);

void main(void)
{
    char *  bar;

    printf("Passing bar address: %d
\n", (long) &bar);
    PrintBarAddress(1, (&bar));
}

void PrintBarAddress
(
    ENUM foo,
    ...
)
{
    va_list Arg;
    char **     barAddress;

    va_start(Arg, foo);
    barAddress = va_arg(Arg, char **);

    printf("Bar address: %d
\n", (long) barAddress);
}