static assert

static void SASSERT_(void *) { }
#define SASSERT(b) SASSERT_(!(b))

b が静的な真値定数なら
引数が 0 になってヌルポインタとして扱えるため
コンパイルが通る。
何も処理しないため、最適化で削除される。

b が静的な偽値定数なら
引数が 1 になってポインタとして扱えないため
コンパイルに失敗する。