SOuviron, non, ce n'est pas ce que je voulais dire.
1) Est-il possible d'appeler Splin en passant le même tableau à X et à Y ? Pas à ma connaissance.

2) Les deux parties que tu as mis en exergue ne sont pas problématiques : le rechargement de la valeur depuis la mémoire serait ici imposée par les assignations elles-mêmes et non pas par une présomption de pointeurs pseudonymes. Parce que tu assignes de Xi dans Xi, et non pas de Xi dans un Yi qui serait peut-être Xi (si les pseudonymes sont autorisés).

En fait dans ton code la garantie d'absence de pseudonymes ne permettrait aucune optimisation. Pire : à aucun moment dans ton code on est en présence d'un cas où il faudrait forcer le rechargement depuis la mémoire : une fois Xi modifié, il n'est pas nécessaire de le relire durant la boucle. Et il en irait de même en C.