c - 制限されたポインターを別のポインターに割り当て、2 番目のポインターを使用して値を変更することは合法ですか?

Question

次の方法は「制限」契約を尊重しますか?

void fun(int* restrict foo) {
     int* bar = foo + 32;
     for (int i = 0; i < 32; ++i)
         *bar = 0;
}

私の推測ではノーですが、説明が必要です。