[Ada] 2012 rule on aliasing

2013-01-03 Thread Arnaud Charlet
Ongoing work to implement AI05-0144. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-01-03 Javier Miranda * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping parameters that are record types or array types generate warnings only compiling under -gnatw.

[Ada] 2012 rule on aliasing

2013-01-03 Thread Arnaud Charlet
Ongoing work to implement AI05-0144. No test needed. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-01-03 Javier Miranda * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation plus restricting the functionality of this routine to cover the cases des