[nudq]

That compiles because with gcc extensions or sufficiently recent standards, variable size arrays are now a thing. The compiler doesn't insist on a static array size. What about something like this:

    #define ASSERT_BUILD(x) extern int STATIC_ASSERT_FAILED[(x)?1:-1]