Как проверить тип переменной в C во время выполнения?

Можно ли проверить тип переменной в любой момент кода?

Например, я объявляю char y = 1; и функцию int SomeFunction (int). Затем я передам y в someFunction, она будет преобразована в int и в конечном итоге будет возвращена int.

Я знаю это благодаря объявлению функции. Однако я хотел бы подтвердить, что внутри someFunction переменная действительно имеет тип int и переменная, возвращаемая из someFunction, также является int.

Можно ли это сделать в C, или вместо этого следует полагаться на объявление функций? Предоставляет ли язык программирования C какой-либо механизм для проверки типа переменной во время выполнения?