------- Comment #2 from pinskia at gcc dot gnu dot org 2007-09-29 18:04 ------- va_list on the target you are using just happens to be a char* and not a seperate type. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33588