From: charlet Date: Wed, 29 Jan 2014 15:39:03 +0000 (+0000) Subject: 2014-01-29 Robert Dewar X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2db81009c08080307757fdb9ff141a33dbdab2c8;p=thirdparty%2Fgcc.git 2014-01-29 Robert Dewar * expander.adb: Minor reformatting. 2014-01-29 Javier Miranda * exp_ch3.adb (Predefined_Primitive_Bodies): Adding documentation to previous patch. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207257 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1d0515d3cbfe..f0b7109dd1d9 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,12 @@ +2014-01-29 Robert Dewar + + * expander.adb: Minor reformatting. + +2014-01-29 Javier Miranda + + * exp_ch3.adb (Predefined_Primitive_Bodies): Adding documentation to + previous patch. + 2014-01-29 Javier Miranda * exp_ch3.adb (Predefined_Primitive_Bodies): Complete the code diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index 3dfd39084cd8..4f3846fbd0b4 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -9632,7 +9632,8 @@ package body Exp_Ch3 is -- If the parent is an interface type then it has defined all the -- predefined primitives abstract and we need to check if the type - -- has some user defined "=" function to avoid generating it. + -- has some user defined "=" function which matches the profile of + -- the Ada predefined equality operator to avoid generating it. elsif Is_Interface (Etype (Tag_Typ)) then Eq_Needed := True; @@ -9644,7 +9645,8 @@ package body Exp_Ch3 is and then not Is_Internal (Node (Prim)) and then Present (First_Entity (Node (Prim))) - -- Following tests need a comment ??? + -- The predefined equality primitive must have exactly two + -- formals whose type is this tagged type and then Present (Last_Entity (Node (Prim))) and then Next_Entity (First_Entity (Node (Prim))) diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb index 6ed3e63d864b..9f57cda26a84 100644 --- a/gcc/ada/expander.adb +++ b/gcc/ada/expander.adb @@ -57,7 +57,7 @@ package body Expander is -- The following table is used to save values of the Expander_Active flag -- when they are saved by Expander_Mode_Save_And_Set. We use an extendible -- table (which is a bit of overkill) because it is easier than figuring - -- out a maximum value or bothering with range checks! + -- out a maximum value or bothering with range checks. package Expander_Flags is new Table.Table ( Table_Component_Type => Boolean, @@ -129,13 +129,16 @@ package body Expander is -- In GNATprove mode we only need a very limited subset of -- the usual expansions. This limited subset is implemented -- in Expand_SPARK. - -- Regular expansion is followed by special handling for transient - -- scopes for unconstrained results, etc. but this is not needed, - -- and in general cannot be done correctly, in this mode. if GNATprove_Mode then Expand_SPARK (N); Set_Analyzed (N); + + -- Regular expansion is normally followed by special handling + -- for transient scopes for unconstrained results, etc. but + -- this is not needed, and in general cannot be done correctly, + -- in this mode, so we are all done. + return; -- Here for normal non-SPARK mode