diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-10-27 14:51:46 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-10-27 14:51:46 +0100 |
| commit | 76b84bf03f7a5c8d516690d043b69bc4d8288c04 (patch) | |
| tree | 39117f1ef2342c7a6d902bdfdeaa859e5d1c2f8c /gcc/tree-complex.c | |
| parent | 0c0c6f49d575f70b8fbd64a5d033d65ee24f9ad2 (diff) | |
| download | gcc-76b84bf03f7a5c8d516690d043b69bc4d8288c04.zip gcc-76b84bf03f7a5c8d516690d043b69bc4d8288c04.tar.gz gcc-76b84bf03f7a5c8d516690d043b69bc4d8288c04.tar.bz2 | |
[multiple changes]
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.
From-SVN: r153594
Diffstat (limited to 'gcc/tree-complex.c')
0 files changed, 0 insertions, 0 deletions