C言語において、a ^ a （XOR）の結果は常にいくつか。

フレキシブル配列メンバを持つ構造体のサイズ sizeof(struct S) に、その配列分のサイズは含まれるか。