This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r153594 - in /trunk/gcc/ada: ChangeLog makeutl....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 27 Oct 2009 13:51:47 -0000
- Subject: r153594 - in /trunk/gcc/ada: ChangeLog makeutl....
Author: charlet
Date: Tue Oct 27 13:51:46 2009
New Revision: 153594
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153594
Log:
2009-10-27 Robert Dewar <dewar@adacore.com>
* s-os_lib.ads, s-os_lib.adb, prj-err.adb, makeutl.adb: Minor
reformatting.
2009-10-27 Ed Schonberg <schonberg@adacore.com>
* sem.util.ads, sem_util.adb (Denotes_Same_Object,
Denotes_Same_Prefix): New functions to detect overlap between actuals
that are not by-copy in a call, when one of them is in-out.
* sem_warn.ads, sem_warn.adb (Warn_On_Overlapping_Actuals): New
procedure, called on a subprogram call to warn when an in-out actual
that is not by-copy overlaps with another actual, thus leadind to
potentially dangerous aliasing in the body of the called subprogram.
Currently the warning is under control of the -gnatX switch.
* sem_res.adb (resolve_call): call Warn_On_Overlapping_Actuals.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/makeutl.adb
trunk/gcc/ada/prj-err.adb
trunk/gcc/ada/s-os_lib.adb
trunk/gcc/ada/s-os_lib.ads
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads
trunk/gcc/ada/sem_warn.adb
trunk/gcc/ada/sem_warn.ads