Interesting, but the one comment I haven't seen yet on this thread is 'Why is this useful enough to be a compiler feature?'. I think this is especially relevant with a relatively slim language like C.
In the rare cases you need to do this sort of check why not just write a simple sizeof test?