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

[guz]

Как сделать свои проверки на тип агрументов и свои варнинги при компиляции для функции с переменным числом параметров, аналогично тому как gcc выдаёт предупреждения о том, что в формате строки стоит "%d" а ему передаётся указатель ну и пр.

Вопросов фактически три:
1) Как вывести пользовательский варнинг во время компиляции?
2) Как доступиться до агрументов в вызове функции во время компиляции?
2) Как доступиться до типов аргументов?

Частичное решение - использовать что-то вроде

__attribute__ ((format(printf, x, y)))

Но в таком случае описание передаваемых параметров может быть только как в printf : %d %s и т.д. Что не совсем то, что хочется. Хочется передавать число (формат) и переменное число агрументов, типы которых контроллируются в зависимости от формата.

Как альтернативное решение придумал использовать в качестве параметра структуру (или объединение) и делать как-то так:

typedef struct _my_struct_t_
{
     int a;
     double b;
     char c;
} my_struct_t;

void test(my_struct_t* pstrct);

...

test(&(my_struct_t){.a = 3, c = 'b'});

Может кто придложит что-нить поудобнее? Или советом поможет?