OSDN Git Service

2009-07-20 Bob Duff <duff@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 20 Jul 2009 13:56:52 +0000 (13:56 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 20 Jul 2009 13:56:52 +0000 (13:56 +0000)
commitcd534f03418434ad665a018ec3ebec44dfe998c0
treec50fe08a4c3e69568b9d9c63f63df7463beee966
parent353e3024d478b1059dff5bfc97e552d1928dadc0
2009-07-20  Bob Duff  <duff@adacore.com>

* sem_ch13.adb (Analyze_Record_Representation_Clause): Use "and then"
instead of "and", because otherwise Parent_Last_Bit is read
uninitialized in the case where it's not a tagged type, or the tagged
parent does not have a complete rep clause.

2009-07-20  Robert Dewar  <dewar@adacore.com>

* stylesw.ads: Minor documentation change.

* types.ads: Minor reformatting

2009-07-20  Javier Miranda  <miranda@adacore.com>

* exp_disp.ads (Apply_Access_Checks): New subprogram that takes care of
generating the tag checks associated with dispatching calls.
* exp_disp.adb (Apply_Access_Checks): New subprogram.
(New_Value): This routine was previously local to expand dispatching
calls but it is now used also by Apply_Access_Checks.
(Expand_Dispatching_Calls): Cleanup code because the functionality of
tag checks is now provided by Apply_Access_Checks.
* exp_ch6.adb (Expand_Call): Incorporate generation of tag checks in
case of dispatching calls.

2009-07-20  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Gnat1drv): Also disable Elaboration_Check in
CodePeer_Mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149821 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/exp_disp.adb
gcc/ada/exp_disp.ads
gcc/ada/gnat1drv.adb
gcc/ada/sem_ch13.adb
gcc/ada/stylesw.ads
gcc/ada/types.ads