...
The C Standard [ISO/IEC 9899:2024] identifies the following undefined behavior 66:
A restrict-qualified pointer is assigned a value based on another restricted pointer whose associated block neither began execution before the block associated with this pointer, nor ended before the assignment (6.7.4.2).
...
The incorrect use of restrict-qualified pointers can result in undefined behavior that 66
that might be exploited to cause data integrity violations.
...