Расстановка restrict для применения компилятором оптимизаций, таких как векторизация

Если указатель объявлен с квалификатором restrict, то к объекту, на который он ссылается, можно обратиться только с помощью этого указателя. Обращение к объекту с помощью другого указателя возможно только в том случае, если другой указатель основан на первом. Таким образом, доступ к объекту можно получить только с помощью выражений, основанных на указателе с квалификатором restrict. Указатели restrict используются главным образом как параметры функции или совместно с malloc(). Если указатель объявлен с квалификатором restrict, компилятор способен лучше оптимизировать некоторые процедуры. Например, если два параметра функции определены как указатели с квалификатором restrict, то это сообщает компилятору о том, что они указывают на два разных (не пересекающихся) объекта, что позволяет применить векторизацию.

Проанализируем, например, то, что стало классическим примером применения restrict — определение функции memcpy(). В С89 у нее имеется следующий прототип:
В описании memcpy() сказано, что если объекты, на которые указывают cmp1 и cmp2, перекрываются, то поведение этой функции непредсказуемое. Таким образом. memcpy() гарантированно будет работать только с неперекрывающимися объектами.

В С99 можно использовать restrict, чтобы в прототипе memcpy() явно указать то, что в С89 приходится дополнительно объяснять словами. Вот прототип memcpy() в С99:
Квалифицируя cmp1 и cmp2 с помощью квалификатора типа restrict, в прототипе явно утверждается, что они указывают на неперекрывающиеся объекты.

Из-за преимуществ, которые может принести использование квалификатора типа restrict, в С99 он был добавлен в прототипы многих библиотечных функций, определенных еще в С89.