>356
(3.6.2) を厳密に解釈すると

1. a, b, c, d が 0 で初期化 (zero-initialization) される．
2. a が 3 で初期化される．
　　("static initialization" のうちの "constant expression" による初期化)
3. c, d がこの順で各々 a, b で初期化される．
　　("dynamic initialization"．ただし実装は，この初期化をエントリポイント以降で
　　　真に初期化が必要とされる瞬間まで遅延することが許される)

になるかと思います．従って，c == 3 も保証されるかと思います．