@certik I think we also need to check what the standard says about aliasing of parent procedure variables. Somewhere in the standard it is stated that it is the programmer’s responsibility to make sure that dummy arguments are not aliasing the same memory. I don’t know if it has anything to say in this situation as I couldn’t find the exact paragraph on my phone (the standard document isn’t exactly “mobile friendly”).
2 Likes