Переопределение имени глобальной переменной

Нет, это не UB. Согласно стандарту, раздел 6.3.2, клауза 2 упоминает в точности ваш пример:

const int  i = 2;
{ int  i[i]; }

В нём определяется массив из двух целых чисел внутри блока.

Полная цитата из стандарта (перевод мой):

1. Точка декларации имени находится непосредственно за её полным декларатором (...) и перед инициализатором (если он есть), за исключением замечаний ниже. [ Пример:

   unsigned char x = 12;
   { unsigned char x = x; }

   Здесь второй x инициализируется своим собственным (неопределённым) значением. — конец примера ]

2. [ Замечание: Имя из внешней области действует вплоть до точки декларации имени, которое его перекрывает. [ Пример:

   const int  i = 2;
   { int  i[i]; }

   определяет внутриблоковый массив из двух целых. — конец примера ] — конец замечания ]