Hi,

[expr.const] has:

---------------------------------------------------------------
A variable is potentially-constant if it is constexpr or it has reference or
non-volatile const-qualified integral or enumeration type.

A constant-initialized potentially-constant variable V is usable in constant
expressions at a point P if V’s initializing declaration D is reachable from P and

— V is constexpr,
— V is not initialized to a TU-local value, or
— P is in the same translation unit as D.
---------------------------------------------------------------

I don't get the wording here.

In this example, 'v' is potentially-constant because it has non-volatile
const-qualified integral type.

'v' is not a 'constexpr', so it's saying 'v' is not usable in constant
expressions here:

*****************************
const int v = 1;

int array[v];

int main()
{
}
*****************************

The earliest paper i could find that has this wording is 2020/n4868.pdf (a
working draft)