CWG2532 [expr.new] does not specify kind of pointer value in case of an array with no elements

[languagelawyer]

cplusplus/draft#3178 http://lists.isocpp.org/core/2019/09/7203.php

Full name of submitter (unless configured in github; will be published with the issue): Andrey Erokhin

Reference (section label): [expr.new]

Issue description:
[expr.new] shall specify which kind of pointer value ([basic.compound]):

Every value of pointer type is one of the following:
(3.1) — a pointer to an object or function (the pointer is said to point to the object or function), or
(3.2) — a pointer past the end of an object ([expr.add]), or
(3.3) — the null pointer value for that type, or
(3.4) — an invalid pointer value.

is produced by new T[0].

[jensmaurer]

CWG2532