------- Comment #2 from mmitchel at gcc dot gnu dot org 2010-01-14 19:22 ------- Paolo --
I think that the warning is accurate; the mangling of va_list has indeed changed on ARM in GCC 4.4 in order to conform to the ARM ABI specifications. There is an option to turn off warnings about PSABI issues; -Wno-psabi. I think that option (if not some stronger option) should be used. Oh, wait. Maybe we should not warn about this in a system header. That's probably the right choice and a trivial change to arm_mangle_type. Do you agree? -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42748