[multiple changes]
2011-08-29 Robert Dewar <dewar@adacore.com> * a-convec.adb, exp_disp.adb: Minor reformatting. 2011-08-29 Tristan Gingold <gingold@adacore.com> * a-exexpr-gcc.adb (GNAT_GCC_Exception_Access): Set to convention C. From-SVN: r178213
This commit is contained in:
parent
624e168838
commit
c95aa61c54
@ -1,3 +1,11 @@
|
|||||||
|
2011-08-29 Robert Dewar <dewar@adacore.com>
|
||||||
|
|
||||||
|
* a-convec.adb, exp_disp.adb: Minor reformatting.
|
||||||
|
|
||||||
|
2011-08-29 Tristan Gingold <gingold@adacore.com>
|
||||||
|
|
||||||
|
* a-exexpr-gcc.adb (GNAT_GCC_Exception_Access): Set to convention C.
|
||||||
|
|
||||||
2011-08-29 Gary Dismukes <dismukes@adacore.com>
|
2011-08-29 Gary Dismukes <dismukes@adacore.com>
|
||||||
|
|
||||||
* exp_ch3.adb (Build_Record_Init_Proc.Build_Init_Procedure): Set
|
* exp_ch3.adb (Build_Record_Init_Proc.Build_Init_Procedure): Set
|
||||||
|
@ -2176,12 +2176,10 @@ package body Ada.Containers.Vectors is
|
|||||||
return No_Element;
|
return No_Element;
|
||||||
end Next;
|
end Next;
|
||||||
|
|
||||||
function Next (Object : Iterator; Position : Cursor) return Cursor
|
function Next (Object : Iterator; Position : Cursor) return Cursor is
|
||||||
is
|
|
||||||
begin
|
begin
|
||||||
if Position.Index = Object.Container.Last then
|
if Position.Index = Object.Container.Last then
|
||||||
return No_Element;
|
return No_Element;
|
||||||
|
|
||||||
else
|
else
|
||||||
return (Object.Container, Position.Index + 1);
|
return (Object.Container, Position.Index + 1);
|
||||||
end if;
|
end if;
|
||||||
@ -2255,8 +2253,7 @@ package body Ada.Containers.Vectors is
|
|||||||
return No_Element;
|
return No_Element;
|
||||||
end Previous;
|
end Previous;
|
||||||
|
|
||||||
function Previous (Object : Iterator; Position : Cursor) return Cursor
|
function Previous (Object : Iterator; Position : Cursor) return Cursor is
|
||||||
is
|
|
||||||
begin
|
begin
|
||||||
if Position.Index > Index_Type'First then
|
if Position.Index > Index_Type'First then
|
||||||
return (Object.Container, Position.Index - 1);
|
return (Object.Container, Position.Index - 1);
|
||||||
|
@ -166,6 +166,7 @@ package body Exception_Propagation is
|
|||||||
-- to maintain anyway.
|
-- to maintain anyway.
|
||||||
|
|
||||||
type GNAT_GCC_Exception_Access is access all GNAT_GCC_Exception;
|
type GNAT_GCC_Exception_Access is access all GNAT_GCC_Exception;
|
||||||
|
pragma Convention (C, GNAT_GCC_Exception_Access);
|
||||||
|
|
||||||
function To_GCC_Exception is new
|
function To_GCC_Exception is new
|
||||||
Unchecked_Conversion (GNAT_GCC_Exception_Access, GCC_Exception_Access);
|
Unchecked_Conversion (GNAT_GCC_Exception_Access, GCC_Exception_Access);
|
||||||
|
@ -3698,8 +3698,9 @@ package body Exp_Disp is
|
|||||||
Typ : Entity_Id)
|
Typ : Entity_Id)
|
||||||
is
|
is
|
||||||
Comp : Entity_Id;
|
Comp : Entity_Id;
|
||||||
function Is_Actual_For_Formal_Incomplete_Type (T : Entity_Id)
|
|
||||||
return Boolean;
|
function Is_Actual_For_Formal_Incomplete_Type
|
||||||
|
(T : Entity_Id) return Boolean;
|
||||||
-- In Ada2012, if a nested generic has an incomplete formal type, the
|
-- In Ada2012, if a nested generic has an incomplete formal type, the
|
||||||
-- actual may be (and usually is) a private type whose completion
|
-- actual may be (and usually is) a private type whose completion
|
||||||
-- appears later. It is safe to build the dispatch table in this
|
-- appears later. It is safe to build the dispatch table in this
|
||||||
@ -3709,11 +3710,12 @@ package body Exp_Disp is
|
|||||||
-- Is_Actual_For_Formal_Incomplete_Type --
|
-- Is_Actual_For_Formal_Incomplete_Type --
|
||||||
------------------------------------------
|
------------------------------------------
|
||||||
|
|
||||||
function Is_Actual_For_Formal_Incomplete_Type (T : Entity_Id)
|
function Is_Actual_For_Formal_Incomplete_Type
|
||||||
return Boolean
|
(T : Entity_Id) return Boolean
|
||||||
is
|
is
|
||||||
Gen_Par : Entity_Id;
|
Gen_Par : Entity_Id;
|
||||||
F : Node_Id;
|
F : Node_Id;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
if not Is_Generic_Instance (Current_Scope)
|
if not Is_Generic_Instance (Current_Scope)
|
||||||
or else not Used_As_Generic_Actual (T)
|
or else not Used_As_Generic_Actual (T)
|
||||||
@ -3739,6 +3741,8 @@ package body Exp_Disp is
|
|||||||
return False;
|
return False;
|
||||||
end Is_Actual_For_Formal_Incomplete_Type;
|
end Is_Actual_For_Formal_Incomplete_Type;
|
||||||
|
|
||||||
|
-- Start of processing for Check_Premature_Freezing
|
||||||
|
|
||||||
begin
|
begin
|
||||||
if Present (N)
|
if Present (N)
|
||||||
and then Is_Private_Type (Typ)
|
and then Is_Private_Type (Typ)
|
||||||
@ -3761,7 +3765,7 @@ package body Exp_Disp is
|
|||||||
and then Present (Comp)
|
and then Present (Comp)
|
||||||
and then not Is_Frozen (Comp)
|
and then not Is_Frozen (Comp)
|
||||||
and then
|
and then
|
||||||
not Is_Actual_For_Formal_Incomplete_Type (Comp)
|
not Is_Actual_For_Formal_Incomplete_Type (Comp)
|
||||||
then
|
then
|
||||||
Error_Msg_Sloc := Sloc (Subp);
|
Error_Msg_Sloc := Sloc (Subp);
|
||||||
Error_Msg_Node_2 := Subp;
|
Error_Msg_Node_2 := Subp;
|
||||||
|
Loading…
Reference in New Issue
Block a user