[_kst_]

"Not every variable has a data type, e.g. void or function pointers."

A void pointer has type "void* "; a function pointer also has some appropriate type.

Not every object has a type (e.g., a chunk of memory allocated by `malloc()`), but if "variable" means "object created by a declaration", then yes, every object has a type.