On 10/26/20 8:48 AM, Bob Friesenhahn wrote:
The approach that Paul Eggert suggests is very interesting, but it might not provide absolute proof of the C type since the compiler/linker might allow success if the types are the same size.
Not a problem in practice. The C standard requires a diagnostic if the types don't match, and this sort of type checking should be the same checking that the compiler uses for printf.
