История изменений

стандарте С++ нет restrict

Если очень надо, можно навелосипедить. Например, самый простой случай:

void foobarize(Object& lhs, Object& rhs) {
  if (&lhs == &rhs)
    __builtin_unreachable();
  // ...
}

И теперь компилятор всунет UB где нужно для оптимизации.

стандарте С++ нет restrict

Если очень надо, можно навелосипедить. Например, самый простой случай:```c++ void foobarize(Object& lhs, Object& rhs) { if (&lhs == &rhs) __builtin_unreachable(); // … }

И теперь компилятор знает всунет UB где нужно для оптимизации.