Какъв е форматът на структурата x86_64 va_list?

Превърнах коментара си в отговор.

Това може да помогне . Това е препратка, макар и лека (РЕДАКТИРАНЕ: оригиналната връзка е мъртва; заменена връзка, запазена от 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 да е тип масив, така и възможността да не е.