Commit 205c14b0 by Thomas Quinot Committed by Arnaud Charlet

sem_elim.adb: Minor reformatting

2009-04-16  Thomas Quinot  <quinot@adacore.com>

	* sem_elim.adb: Minor reformatting

	* freeze.adb: Minor reformatting

	* exp_ch4.adb: Minor reformatting

From-SVN: r146154
parent b6fc2cdb
2009-04-16 Thomas Quinot <quinot@adacore.com>
* sem_elim.adb: Minor reformatting
* freeze.adb: Minor reformatting
* exp_ch4.adb: Minor reformatting
2009-04-16 Emmanuel Briot <briot@adacore.com> 2009-04-16 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Path_Name_Of): fix memory leak * prj-nmsc.adb (Path_Name_Of): fix memory leak
...@@ -2938,7 +2938,7 @@ package body Exp_Ch4 is ...@@ -2938,7 +2938,7 @@ package body Exp_Ch4 is
function Size_In_Storage_Elements (E : Entity_Id) return Node_Id; function Size_In_Storage_Elements (E : Entity_Id) return Node_Id;
-- Given a constrained array type E, returns a node representing the -- Given a constrained array type E, returns a node representing the
-- code to compute the size in storage elements for the given type. -- code to compute the size in storage elements for the given type.
-- This is done without using the attribute (which malfunctins for -- This is done without using the attribute (which malfunctions for
-- large sizes ???) -- large sizes ???)
--------------------------------------- ---------------------------------------
...@@ -3356,7 +3356,7 @@ package body Exp_Ch4 is ...@@ -3356,7 +3356,7 @@ package body Exp_Ch4 is
-- least at the moment we don't compute this attribute right, and -- least at the moment we don't compute this attribute right, and
-- can silently give wrong results when the result gets large. Since -- can silently give wrong results when the result gets large. Since
-- this is all about large results, that's bad, so instead we only -- this is all about large results, that's bad, so instead we only
-- applly the check for constrained arrays, and manually compute the -- apply the check for constrained arrays, and manually compute the
-- value of the attribute ??? -- value of the attribute ???
if Is_Array_Type (Etyp) and then Is_Constrained (Etyp) then if Is_Array_Type (Etyp) and then Is_Constrained (Etyp) then
......
...@@ -3509,7 +3509,7 @@ package body Freeze is ...@@ -3509,7 +3509,7 @@ package body Freeze is
-- For access subprogram, freeze types of all formals, the return -- For access subprogram, freeze types of all formals, the return
-- type was already frozen, since it is the Etype of the function. -- type was already frozen, since it is the Etype of the function.
-- Formal types can be tagged Taft amendment types, but otherwise -- Formal types can be tagged Taft amendment types, but otherwise
-- they cannot be incomplete; -- they cannot be incomplete.
elsif Ekind (E) = E_Subprogram_Type then elsif Ekind (E) = E_Subprogram_Type then
Formal := First_Formal (E); Formal := First_Formal (E);
...@@ -3535,7 +3535,7 @@ package body Freeze is ...@@ -3535,7 +3535,7 @@ package body Freeze is
-- Ada 2005 (AI-326): Check wrong use of tag incomplete type -- Ada 2005 (AI-326): Check wrong use of tag incomplete type
-- type T; -- tagged or untagged, may be from limited view; -- type T; -- tagged or untagged, may be from limited view
-- type Acc is access function (X : T) return T; -- ERROR -- type Acc is access function (X : T) return T; -- ERROR
if Ekind (Etype (E)) = E_Incomplete_Type if Ekind (Etype (E)) = E_Incomplete_Type
......
...@@ -282,7 +282,7 @@ package body Sem_Elim is ...@@ -282,7 +282,7 @@ package body Sem_Elim is
if Is_Dispatching_Operation (E) then if Is_Dispatching_Operation (E) then
-- If an overriding dispatching primitive is eliminated then -- If an overriding dispatching primitive is eliminated then
-- its parent must have been eliminated -- its parent must have been eliminated.
if Is_Overriding_Operation (E) if Is_Overriding_Operation (E)
and then not Is_Eliminated (Overridden_Operation (E)) and then not Is_Eliminated (Overridden_Operation (E))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment