I remember seeing some C code which would fail to compile if a condition was false at compilation time. I cannot remember where I saw it.
In particular, I am writing some non-portable C code which should only compile where the target's sizeof(int) == 4
. i.e. 32 and 64 bit Linux, but only 32 bit Windows, IIRC.