[Voted into the WP at the March, 2011 meeting as part of paper N3260.]

Proposed resolution (February, 2011):

The proposed resolution will be submitted as a separate document.

The requirement in 7.7 [expr.const] that a constant expression cannot contain

• an array-to-pointer conversion (7.3.3 [conv.array]) that is applied to a glvalue that does not designate an object with static storage duration

effectively eliminates the use of automatic constexpr arrays such as

    void f() {
       constexpr int ar[] = { 1, 2 };
       constexpr int i = ar[1];
    }

There does not seem to be a problem with this kind of usage.