6.25 Указатели в функциях с переменным числом аргументов ¶

Стандартный C требует, чтобы типы указателей, используемые с va_arg в функциях с переменным числом аргументов, либо были совместимы с типом фактического аргумента, либо один тип был указателем на void, а другой — указателем на тип символов. GNU C реализует расширение POSIX XSI, которое дополнительно разрешает использование va_arg с типом указателя для получения аргументов любого другого типа указателя.

В частности, в GNU C выражение ‘va_arg (ap, void *)’ безопасно используется для обработки аргумента любого типа указателя.