choikwa wrote: > Thanks for the testcase. Did you happen to try this out with the Full Restrict version. My understanding is that that should keep the 'restrict' information just fine ? I have not. https://github.com/llvm/llvm-project/pull/154522