Как работает `restrict`?

Question

Accepted Answer

Обещание компилятору: только этот указатель обращается к объекту — больше оптимизаций.

## Разбор

- Ложный restrict = UB.
- Есть у memcpy.
- Не для overlap.
- Документируйте контракт.

## Итог

restrict — обещание неалиасинга.