[Moved to DR at the October, 2012 meeting.]

Proposed resolution (February, 2012):

Change 6.8 [basic.types] paragraph 10 as follows:

A type is a literal type if it is:

• ...

• a class type (Clause 11 [class]) that has all the following properties:

• ...

• all of its non-static data members and base classes are of non-volatile literal types.

Can a literal class have a volatile member? For example,

   struct S {
     constexpr S() : n(0) { }
     volatile int n;
   };

   constexpr S s;   // causes volatile write to S::n