[allocator.requirements.general] Change "pointer" to "value".

[FrankHB]

Technically a pointer is a type, this should mean "a pointer value". And "a pointer value of type C*" is somewhat confusing between C* and C** at the first glance. Hence, "a value of" suffice. This is also more consistent to other entries.

[jwakely]

Technically a pointer is a type

"pointer to C" is a type, a pointer is not a type. In core wording, a pointer is a value.

Expressions produce pointers, pointers refer to allocated storage, pointers are used as operands to a delete-expression etc.

[jwakely]

N.B. we can't say it's a pointer value that points to an object of type C, because it is typically uninitialized storage until that pointer is passed to construct. That's why it uses the unconventional "through which indirection is valid" wording. LWG3064 is somewhat related.

[frederick-vs-ja]

LWG3064 is somewhat related.

Possibly off-topic: The resolution of CWG453 clarifies that binding a reference to an out-of-lifetime (yet-to-construct) object can be well-defined. So I think LWG3064 can be considered resolved.

[tkoeppe]

Agreed with @jwakely: the current wording is neither unusual nor confusing, and I don't see a pressing need for a change. Please get in touch if there's new information and you feel strongly.