[nejenendn]

Agreed. However, C++ pragmatically does have restrict in both clang and g++, which is still useful in cases where you can deductively prove the lack of aliasing.

[pjmlp]

There are more compilers out there, although I do agree in the context of HPC, those are probably the most used ones.