Следующий код генерирует 2 предупреждения, которые описаны в заголовке вопроса.

#include <stdio.h>

static void _print_f(float *f){printf("float : %f\n", *f);}
static void _print_i(int *i)  {printf("int   : %d\n", *i);}

#define print(num) _Generic((num), \
    int*   : _print_i(num),        \
    float* : _print_f(num))


int main(void)
{
    print((&(int){10}));
    print((&(float){10.f}));

    return 0;
}

ВЫХОД:

int   : 10
float : 10.000000

Я знаю, этот макрос может быть написан следующим образом:

#define print(num) _Generic((num), \
    int*   : _print_i,             \
    float* : _print_f)(num)

и в этом случае не будет никаких предупреждений, однако мой пример - фиктивный фрагмент, который я написал, чтобы продемонстрировать проблему. В своей реальной базе кода я выбрал первое решение, потому что некоторые выбранные аргументы «по умолчанию», но с типом, должны быть переданы выбранной функции.

Итак, вопрос:Даже если макрос работает так, как должен, и вывод соответствует именно тому, что я ожидаю, почему генерируются предупреждения?

Флаги и Окружающая среда:

/* Mac OS X 10.9.4
   Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn) */
cc -Wall -v -g -std=c11 -fmacro-backtrace-limit=0 -I/usr/local/include
   -c -o build/tmp/main.o main.c

Update1:

Я забыл вставить полный трекбек! Вот первый:

main.c:39:11: warning: incompatible pointer types passing 'int *'
to parameter of type 'float *' [-Wincompatible-pointer-types]
    print((&(int){10}));
          ^~~~~~~~~~~~
main.c:31:23: note: expanded from macro 'print'
    float* : _print_f(num))
                      ^
main.c:26:29: note: passing argument to parameter 'f' here
static void _print_f(float *f){printf("float : %f\n", *f);}
                            ^

А вот и второй:

main.c:40:11: warning: incompatible pointer types passing 'float *'
to parameter of type 'int *' [-Wincompatible-pointer-types]
    print((&(float){10.f}));
          ^~~~~~~~~~~~~~~~
main.c:30:23: note: expanded from macro 'print'
    int*   : _print_i(num),        \
                      ^
main.c:27:27: note: passing argument to parameter 'i' here
static void _print_i(int *i)  {printf("int   : %d\n", *i);}
                          ^

Update2:

Пока разработчикиclang исправьте эту ошибку, вот уродливый обходной путь для отключения предупреждений, который сработает, если все ключи в ассоциативном списке являются типами, ИЛИ все они являются указателями на типы; и потерпит неудачу, если типы и указатели на типы тоже есть в ключах:

/* HACK: re-casting pointers to mute warnings */
#define print(num) _Generic((num), \
    int*   : _print_i((int*)num),  \
    float* : _print_f((float*)num))