[Moved to DR at the April, 2013 meeting.]

Proposed resolution (October, 2012):

Change 6.9.3.2 [basic.start.static] paragraph 2 as follows:

Constant initialization is performed:

• ...

• if an object with static or thread storage duration is not initialized by a constructor call and if either the object is value-initialized or every full-expression that appears in its initializer is a constant expression.

According to 6.9.3.2 [basic.start.static] paragraph 2,

Constant initialization is performed:

• ...

• if an object with static or thread storage duration is not initialized by a constructor call and if every full-expression that appears in its initializer is a constant expression.

Presumably this would include a value-initialization (i.e., with no expressions) such as

  int a[1000]{};

However, we have recently clarified the degenerate cases of other similar rules referencing “every,” so it wouldn't hurt to be more explicit here.