Voici le message donné par la dernière version de GNAT (pas la version GPL 2012, mais une version compilée avec les sources à la FSF) :
test.adb:20:32: warning: writable actual for "Var1" overlaps with actual for "Var2"
Notez que c'est un avertissement, pas une erreur de compilation, puisque l'erreur serait d'écrire par un chemin et de lire par un autre (cf la section correspondante du Manuel de Référence Ada), ce que le compilateur ne peut en général pas détecter.
[^] # warning donné par GNAT sur les paramètres aliasés
Posté par yannickmoy . En réponse à la dépêche Publication de la nouvelle norme Ada 2012. Évalué à 2.
Voici le message donné par la dernière version de GNAT (pas la version GPL 2012, mais une version compilée avec les sources à la FSF) :
Notez que c'est un avertissement, pas une erreur de compilation, puisque l'erreur serait d'écrire par un chemin et de lire par un autre (cf la section correspondante du Manuel de Référence Ada), ce que le compilateur ne peut en général pas détecter.