Rationale (November, 2016):

The specification is as intended.

Suggested resolution:

Change in 7.6.1.10 [expr.reinterpret.cast] paragraph 2 as follows:

... An expression of integralarithmetic, enumeration, pointer, or pointer-to-member type can be explicitly converted to its own type; such a cast yields the value of its operand.

Consider this inconsistency:

  void func(long l, float f) {
   (void)reinterpret_cast<long *>(&l); // ok
   (void)reinterpret_cast<long>(l); // ok
   (void)reinterpret_cast<float *>(&f); // ok
   (void)reinterpret_cast<float>(f); // ill-formed
  }