Это обычный макрос. Я говорил о препроцессоре. Вот такое невозможно:
#if  sizeof(expr) == sizeof(void *)
//...
#endif /* sizeof */

В том файле это было бы бессмысленно, т. к. проверки просто удалятся оптимизатором, но через препроцессор, например, можно было бы объявить переменную того же типа, что ему передана для временных вычислений с проверкой на переполнение (а-ля auto для C++). Это просто для примера.

На самом деле в C есть возможность проверять тип переменной через typeof, но это всего лишь расширение GCC:
https://gcc.gnu.org/onlinedocs/gcc/Typeof.html
ПОэтому завязываться на него серьёзному проекту не стоит.