2004-02-25 Robert Dewar <dewar@gnat.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 25 Feb 2004 15:59:05 +0000 (15:59 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 25 Feb 2004 15:59:05 +0000 (15:59 +0000)
commit632a89954bc74fcf3cbc4cd34d04da14093ea3a8
tree55546168634e1653e8e637a0b8c0f34c3ccdada9
parentfd11b6022fadd0ed9993f7bd3a8c8858f2be1ddd
2004-02-25  Robert Dewar  <dewar@gnat.com>

* 51osinte.ads, 52osinte.ads, 53osinte.ads, 54osinte.ads,
55osinte.ads, 56osinte.ads, 5aosinte.ads, 5bosinte.ads,
5cosinte.ads, 5fosinte.ads, 5gosinte.ads, 5hosinte.ads,
5iosinte.ads, 5losinte.ads, 5nosinte.ads, 5oosinte.ads,
5posinte.ads, 5sosinte.ads, 5tosinte.ads, 5vosinte.ads,
5wosinte.ads, 5zosinte.ads: Move instances of Unchecked_Conversion to
the defining instance of the type to avoid aliasing problems.
Fix copyright header.  Fix bad comments in package header.

* exp_util.adb, prj-part.adb, prj-part.adb: Minor reformatting

2004-02-25  Ed Schonberg  <schonberg@gnat.com>

* exp_ch2.adb (Param_Entity): Handle properly formals that have been
rewritten as references when aliased through an address clause.

* sem_ch4.adb (Try_Indirect_Call): Normalize actuals before checking
whether call can be interpreted as an indirect call to the result of a
parameterless function call returning an access subprogram.

2004-02-25  Arnaud Charlet  <charlet@act-europe.fr>

Code clean up:
* exp_ch7.adb (Make_Clean): Remove generation of calls to
Unlock[_Entries], since this is now done by Service_Entries directly.

* exp_ch9.adb (Build_Protected_Subprogram_Body): ditto.

* s-tpobop.ads, s-tpobop.adb (PO_Service_Entries): New nested procedure
Requeue_Call for better code readability. Change spec and update calls:
PO_Service_Entries now unlock the PO on exit.
(Protected_Entry_Call, Timed_Protected_Entry_Call): Update calls to
PO_Service_Entries.

* s-tposen.ads, s-tposen.adb (Service_Entry): Now unlock the PO on exit.

* s-taenca.adb, s-tasren.adb: Update calls to PO_Service_Entries.

2004-02-25  Sergey Rybin  <rybin@act-europe.fr>

* exp_ch9.adb (Build_Simple_Entry_Call): Prevent expanding the
protected subprogram call and analyzing the result of such expanding
in case when the called protected subprogram is eliminated.

* sem_elim.adb (Check_Eliminated): Skip blocks when comparing scope
names.

2004-02-25  Jerome Guitton  <guitton@act-europe.fr>

* Makefile.in: Clean ups.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@78436 138bc75d-0d04-0410-961f-82ee72b054a4
37 files changed:
gcc/ada/51osinte.ads
gcc/ada/52osinte.ads
gcc/ada/53osinte.ads
gcc/ada/54osinte.ads
gcc/ada/55osinte.ads
gcc/ada/56osinte.ads
gcc/ada/5aosinte.ads
gcc/ada/5bosinte.ads
gcc/ada/5cosinte.ads
gcc/ada/5fosinte.ads
gcc/ada/5gosinte.ads
gcc/ada/5hosinte.ads
gcc/ada/5iosinte.ads
gcc/ada/5losinte.ads
gcc/ada/5nosinte.ads
gcc/ada/5oosinte.ads
gcc/ada/5posinte.ads
gcc/ada/5sosinte.ads
gcc/ada/5tosinte.ads
gcc/ada/5vosinte.ads
gcc/ada/5wosinte.ads
gcc/ada/5zosinte.ads
gcc/ada/ChangeLog
gcc/ada/Makefile.in
gcc/ada/exp_ch2.adb
gcc/ada/exp_ch7.adb
gcc/ada/exp_ch9.adb
gcc/ada/exp_util.adb
gcc/ada/prj-part.adb
gcc/ada/s-taenca.adb
gcc/ada/s-tasren.adb
gcc/ada/s-tpobop.adb
gcc/ada/s-tpobop.ads
gcc/ada/s-tposen.adb
gcc/ada/s-tposen.ads
gcc/ada/sem_ch4.adb
gcc/ada/sem_elim.adb