mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-01-11 06:04:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

[multiple changes]

Browse Source 
2014-11-20  Robert Dewar  <dewar@adacore.com>

	* exp_ch7.adb, sem_ch5.adb, sem_ch7.adb, sem_util.adb,
	sem_ch6.adb: Minor reformatting.

2014-11-20  Javier Miranda  <miranda@adacore.com>

	* exp_ch4.adb (Expand_N_Type_Conversion): Add missing implicit
	conversion to force the displacement of the pointer to the object
	to reference the secondary dispatch table.

From-SVN: r217829
This commit is contained in:
Arnaud Charlet 2014-11-20 11:01:05 +01:00
parent e6121733d5
commit 3cb9a885df
8 changed files with 26 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/ada/ChangeLog
View File

@ -1,3 +1,14 @@
2014-11-20 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, sem_ch5.adb, sem_ch7.adb, sem_util.adb,
sem_ch6.adb: Minor reformatting.
2014-11-20 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb (Expand_N_Type_Conversion): Add missing implicit
conversion to force the displacement of the pointer to the object
to reference the secondary dispatch table.
2014-11-11 Simon Wright <simon@pushface.org>
PR ada/42978

4
gcc/ada/exp_ch4.adb
View File

@ -10622,7 +10622,9 @@ package body Exp_Ch4 is
-- Ada 2005 (AI-251): Handle interface type conversion
if Is_Interface (Actual_Op_Typ) then
if Is_Interface (Actual_Op_Typ)
or else Is_Interface (Actual_Targ_Typ)
then
Expand_Interface_Conversion (N);
goto Done;
end if;

5
gcc/ada/exp_ch7.adb
View File

@ -4778,8 +4778,9 @@ package body Exp_Ch7 is
-- Generate:
-- [Deep_]Finalize (Obj_Ref);
-- Set type of dereference, so that proper conversion are
-- generated when operation is inherited.
-- Set type of dereference, so that proper conversion are
-- generated when operation is inherited.
Obj_Ref := New_Occurrence_Of (Obj_Id, Loc);

6
gcc/ada/sem_ch5.adb
View File

@ -2012,8 +2012,8 @@ package body Sem_Ch5 is
else
Set_Etype (Def_Id, Entity (Element));
-- If subtype indication was given, verify that it
-- covers the element type of the container.
-- If subtype indication was given, verify that it covers
-- the element type of the container.
if Present (Subt)
and then not Covers (Bas, Etype (Def_Id))
@ -2064,7 +2064,7 @@ package body Sem_Ch5 is
("\to iterate directly over the elements of a container, "
& "write `of &`", Name (N), Original_Node (Name (N)));
-- No point in continuing analysis of iterator spec.
-- No point in continuing analysis of iterator spec
return;
end if;

3
gcc/ada/sem_ch6.adb
View File

@ -4684,7 +4684,8 @@ package body Sem_Ch6 is
-- If both are functions/operators, check return types conform
if Old_Type /= Standard_Void_Type
and then New_Type /= Standard_Void_Type
and then
New_Type /= Standard_Void_Type
then
-- If we are checking interface conformance we omit controlling
-- arguments and result, because we are only checking the conformance

3
gcc/ada/sem_ch7.adb
View File

@ -2444,7 +2444,8 @@ package body Sem_Ch7 is
function Requires_Completion_In_Body
(Id : Entity_Id;
Pack_Id : Entity_Id) return Boolean is
Pack_Id : Entity_Id) return Boolean
is
begin
-- Always ignore child units. Child units get added to the entity list
-- of a parent unit, but are not original entities of the parent, and

1
gcc/ada/sem_util.adb
View File

@ -2759,7 +2759,6 @@ package body Sem_Util is
and then Present (Generalized_Indexing (N))
then
Nam := Generalized_Indexing (N);
else
Nam := N;
end if;

4
gcc/ada/sem_util.ads
View File

@ -939,8 +939,8 @@ package Sem_Util is
-- as an access type internally, this function tests only for access types
-- known to the programmer. See also Has_Tagged_Component.
function Has_Defaulted_Discriminants (Typ : Entity_Id) return Boolean;
-- Simple predicate to test for defaulted discriminants
function Has_Defaulted_Discriminants (Typ : Entity_Id) return Boolean;
-- Simple predicate to test for defaulted discriminants
type Alignment_Result is (Known_Compatible, Unknown, Known_Incompatible);
-- Result of Has_Compatible_Alignment test, description found below. Note