Каков формат структуры x86_64 va_list?

Я превратил свой комментарий в ответ.

Это может помочь . Это ссылка, хотя и облегченная (EDIT: исходная ссылка мертва; заменена сохраненной ссылкой Wayback Machine).

Справочник по списку переменных аргументов начинается на странице 50, а затем продолжается на страницах 52–53 документов va_list:

Тип va_list

Тип va_list представляет собой массив, содержащий один элемент одной структуры, содержащий необходимую информацию для реализации макроса va_arg. Определение C типа va_list дано на рис. 3.34.

// Figure 3.34
typedef struct {
   unsigned int gp_offset;
   unsigned int fp_offset;
   void *overflow_arg_area;
   void *reg_save_area;
} va_list[1];

Макрос va_start

Макрос va_start инициализирует структуру следующим образом:

reg_save_area Элемент указывает на начало области сохранения регистра.

overflow_arg_area Этот указатель используется для получения аргументов, переданных в стек. Он инициализируется адресом первого аргумента, переданного в стеке, если он есть, а затем всегда обновляется, чтобы указать на начало следующего аргумента в стеке.

gp_offset Элемент содержит смещение в байтах от области reg_save_area до места сохранения следующего доступного регистра аргументов общего назначения. В случае, если все регистры аргументов исчерпаны, устанавливается значение 48 (6 ∗ 8).

fp_offset Элемент содержит смещение в байтах от reg_save_area до места, где сохраняется следующий доступный регистр аргумента с плавающей запятой. В случае, если все регистры аргументов исчерпаны, устанавливается значение 304 (6 ∗ 8 + 16 ∗ 16).

Оказывается, проблема заключалась в том, что gcc сделал va_list типом массива. Моя функция была сигнатурной:

void foo(va_list ap);

и я хотел передать указатель на ap другой функции, поэтому я сделал:

void foo(va_list ap)
{
    bar(&ap);
}

К сожалению, типы массивов распадаются на типы указателей в списках аргументов функций, поэтому вместо того, чтобы передавать указатель на исходную структуру, я передавал указатель на указатель.

Чтобы обойти проблему, я изменил код на:

void foo(va_list ap)
{
    va_list ap2;
    va_copy(ap2, ap);
    bar(&ap2);
    va_end(ap2);
}

Это единственное переносимое решение, которое я смог придумать, которое учитывает как возможность того, что va_list является типом массива, так и возможность того, что это не так.