곰곰히 생각해보니 gcc 자체의 버그라기 보다는 stdarg나 printf에 관련된 거 같습니다.
printf 나 stdarg 관련 문제라는 판단이 맞습니다. va_list 를 쓰는 함수에서 va_start 와 va_end 를 짝으로 맞추고, 인자 형식이 printf 형식 지정자와 맞는지 확인하세요.