[ pre-Copenhagen: Dietmar provide wording for proposed resolution. ]

Proposed resolution:

In section [reverse.iter.cons] add the following paragraph:

reverse_iterator()

Default initializes current. Iterator operations applied to the resulting iterator have defined behavior if and only if the corresponding operations are defined on a default constructed iterator of type Iterator.

The declaration of reverse_iterator lists a default constructor. However, no specification is given what this constructor should do.