How to achieve type-safety for primitive types through without performance impact?

Question

I would like the c compiler to check the usage of simple types. My preferred usage would be checking typedefs, but that is not done even with -Wall