Coincidencia de tipos de va_list entre compiladores

Question

Tengo un proyecto que consiste en un grupo de módulos cargados dinámicamente. Originalmente, todo estaba siempre construido con MSVC 2003, pero últimamente he estado trabajando para que funcione con GCC. Todo ha ido bastante bien, excepto por un problema. Para el código de 64 bits, GCC y MSVC no están de acuerdo con lo que es va_list. Para 32 bits, las cosas parecen estar bien. El problema que causa la discrepancia de 64 bits es cuando un módulo creado con un compilador tiene una función pública con un parámetro va_list y esa función se llama desde un módulo creado por el otro compilador.

La especificación no dice nada acerca de lo que un va_list es decir, fuera de Sección 7.15 argumentos variables <stdarg.h>, párrafo 3:

El tipo declarado es

va_list

que es un tipo de objeto adecuado para contener la información que necesitan las macros va_start, va_arg, va_end, y va_copy.

En ese párrafo sólo significa que se trata de todas las cosas depende del compilador - es así, ¿hay una manera de hacer que estos dos compiladores están de acuerdo en el contenido de un 64-bit va_list? Para un impacto mínimo en mi sistema, hacer que GCC coincida con el MSVC va_list sería lo mejor, pero tomaré cualquier solución que pueda obtener.

Gracias por ayudar!

Editar:

Hice algunas pruebas de 32 bits, y no tengo problemas allí también, lo que me sorprendió ya que hay diferencias supuestamente ABI entre las plataformas Intel de 32 bits. La base de código que estoy usando MSVC define todas las macros de función variadic como:

typedef char *va_list; 
#define intsizeof(n) ((sizeof(n) + sizeof(int) - 1) &~(sizeof(int) - 1)) 
#define va_start(ap, v) (ap = (va_list)&(v) + intsizeof(v)) 
#define va_arg(ap, t) (*(t *) ((ap += intsizeof(t)) - intsizeof(t))) 
#define va_end(ap)  (ap = (va_list)0) 

he simplificado un poco del proyecto real, pero este es el código que estaba usando para mi prueba. Con GCC, este código definitivamente no está obteniendo mis argumentos correctamente. Tal vez es solo un error, como Zack sugiere a continuación?

de nuevo Edit:

consigo resultados de trabajo para la aplicación de prueba de 32 bits que sigue con -O0, -O0, y -O2, pero no -O3, -Os y -Oz:

typedef char *va_list; 
#define intsizeof(n) ((sizeof(n) + sizeof(int) - 1) &~(sizeof(int) - 1)) 
#define va_start(ap, v) (ap = (va_list)&(v) + intsizeof(v)) 
#define va_arg(ap, t) (*(t *) ((ap += intsizeof(t)) - intsizeof(t))) 
#define va_end(ap)  (ap = (va_list)0) 

int printf(const char *format, ...); 

int f(int n, ...) 
{ 
    int r = 0; 
    va_list ap; 

    va_start(ap, n); 
    while (n--) 
    r = va_arg(ap, int); 
    va_end(ap); 

    return r; 
} 

int main(int argc, char **argv) 
{ 
    int r; 

    r = f(1, 1, 2, 3, 4, 5); 
    printf("%x\n", r); 

    r = f(2, 1, 2, 3, 4, 5); 
    printf("%x\n", r); 

    r = f(3, 1, 2, 3, 4, 5); 
    printf("%x\n", r); 

    r = f(4, 1, 2, 3, 4, 5); 
    printf("%x\n", r); 

    r = f(5, 1, 2, 3, 4, 5); 
    printf("%x\n", r); 

    return 0; 
} 

Answer 1

Dado que MSVC define Win64 ABI, ha encontrado un error en GCC. Por favor repórtalo en GCC bugzilla.

Answer 2

porque hay no hay un estándar sobre cómo va_args tiene que ser handlded, si necesita que esta funcionalidad sea consistente en una plataforma compilada cruzada, probablemente sería mejor que imprima su propia versión. No lo hicimos y hemos sufrido quemaduras varias veces recientemente como resultado al admitir objetivos adicionales para nuestra base de código.Aunque me gustaría equivocarme si otros tienen una mejor solución :)

Answer 3

Prueba a ejecutarlo a través de un depurador de nivel de conjunto como ollydbg, ya que tu problema podría no estar en los va_args, sino en la forma en que está el compilador esperando que se pasen los argumentos (gcc podría estar esperándolos en el formato de Linux, mientras que msvc está usando win64 __fastcall), si acaso esto dará un poco más de luz a la situación. Otro enfoque más bien raro es tratar de jugar con las definiciones utilizadas para los argumentos de 64 bits, como la importación de las macros msvc en el encabezado gcc (por supuesto, use una copia local del proyecto), vea si eso soluciona algo.

Answer 4

Dado que no parece haber un ABI para va_list (o al menos MSVC y GCC no están de acuerdo con un ABI), es probable que necesite ordenar esos parámetros usted mismo.

La manera más directa en que puedo pensar para solucionar este problema de la cabeza es ordenar los parámetros variables en un bloque de memoria asignado dinámicamente y pasar un puntero a ese bloque.

Por supuesto, esto tiene el inconveniente de cambiar por completo la interfaz a las funciones que actualmente usan va_args.

Answer 5

¿Qué tipos estás utilizando? Estrictamente hablando, WinXX solo define el comportamiento para caracteres, cadenas, punteros y enteros para varargs (see documentation for wsprintf in user32.dll). Por lo tanto, si transfiere valores o estructuras de punto flotante, los resultados no están especificados técnicamente para la plataforma de Windows.