Присвоение аргумента указателя с ограничением локальной переменной с ограничением

После прочтения стандарта C, 6.7.3.1 «Формальное определение restrict», у меня возникло следующее недоразумение. Интересно, следующий код мгновенно вызывает неопределенное поведение:

void foo(int *restrict p) {
  int *restrict q = p;
}

Понятно, что q присваивается значение, основанное на другом ограниченном указателе p. Неясно, связаны ли эти два указателя с одним и тем же блоком (самой функцией) или с разными блоками (p с самой функцией, q с телом составного оператора), потому что, например.

int *restrict p;
{
  int *restrict q = p;
}

не вызывает неопределенного поведения (можно создавать псевдонимы указателей в подблоках).

Верхний ответ в MSVC++ ограничивает ключевое слово и локальные переменные предполагает, что int *restrict q = p + 1; подойдет , однако [по крайней мере, в случае стандарта C] это неверно, потому что выражение p + 1 по-прежнему основано на p.

Определение блока находится в 6.7.3.1 p2:

2. Если [объявление определенного указателя] D появляется внутри блока и не имеет класса хранения extern, пусть B обозначить блок. Если D появляется в списке объявлений параметров определения функции, пусть B обозначает соответствующий блок. [...]

Так является ли «связанный блок» функции тем же самым, что и тело функции в этом контексте? Потому что я не сразу нашел какое-либо объяснение термина «связанный блок» ранее в тексте.