GCC (but not Clang) also seems to ignore restrict on a func param, for a reason I can’t comprehend since PARM_NOALIAS shows up in pass details: https://godbolt.org/z/Yr475sn7z