The restrict keyword historically has meant "I know these pointers are different, please optimize as though they are." It had nothing to do with correctness.

The restrict keyword historically has meant "I know these pointers are different, please optimize as though they are." It had nothing to do with correctness. It is quite tricky to check for correctness in the general case of this kind of keyword.