Commit 349ff68f by Arnaud Charlet

[multiple changes]

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

	* sem_ch12.adb: Minor reformatting

	* sem_aggr.adb: Minor reformatting

	* sem_ch6.adb, sem_cat.ads: Minor reformatting

	* sem_ch10.adb, gnat1drv.adb, prj-nmsc.adb: Minor reformatting

2009-04-29  Quentin Ochem  <ochem@adacore.com>

	* prj.ads (Source_Id): Now general pointer type.

From-SVN: r146938
parent d81b4bfe
2009-04-29 Thomas Quinot <quinot@adacore.com> 2009-04-29 Thomas Quinot <quinot@adacore.com>
* sem_ch12.adb: Minor reformatting
* sem_aggr.adb: Minor reformatting
* sem_ch6.adb, sem_cat.ads: Minor reformatting
* sem_ch10.adb, gnat1drv.adb, prj-nmsc.adb: Minor reformatting
2009-04-29 Quentin Ochem <ochem@adacore.com>
* prj.ads (Source_Id): Now general pointer type.
2009-04-29 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb, rtsfind.adb: Minor reformatting * exp_ch7.adb, rtsfind.adb: Minor reformatting
* sem_res.adb: Minor reformatting * sem_res.adb: Minor reformatting
......
...@@ -512,7 +512,7 @@ begin ...@@ -512,7 +512,7 @@ begin
-- If we have a corresponding spec, and it comes from source -- If we have a corresponding spec, and it comes from source
-- or it is not a generated spec for a child subprogram body, -- or it is not a generated spec for a child subprogram body,
-- then we need object code for the spec unit as well -- then we need object code for the spec unit as well.
if Nkind (Unit (Main_Unit_Node)) in N_Unit_Body if Nkind (Unit (Main_Unit_Node)) in N_Unit_Body
and then not Acts_As_Spec (Main_Unit_Node) and then not Acts_As_Spec (Main_Unit_Node)
......
...@@ -256,8 +256,8 @@ package body Prj.Nmsc is ...@@ -256,8 +256,8 @@ package body Prj.Nmsc is
function Suffix_Matches function Suffix_Matches
(Filename : String; (Filename : String;
Suffix : File_Name_Type) return Boolean; Suffix : File_Name_Type) return Boolean;
-- True if the filename ends with the given suffix. It always returns False -- True if the file name ends with the given suffix. Always returns False
-- if Suffix is No_Name -- if Suffix is No_Name.
procedure Replace_Into_Name_Buffer procedure Replace_Into_Name_Buffer
(Str : String; (Str : String;
...@@ -7290,7 +7290,7 @@ package body Prj.Nmsc is ...@@ -7290,7 +7290,7 @@ package body Prj.Nmsc is
-- Returns True if the file belongs to the current language and we -- Returns True if the file belongs to the current language and we
-- should stop searching for matching languages. Not that a given header -- should stop searching for matching languages. Not that a given header
-- file could belong to several languages (C and C++ for instance). Thus -- file could belong to several languages (C and C++ for instance). Thus
-- if we found a header we'll check whether it matches other languages -- if we found a header we'll check whether it matches other languages.
--------------------------- ---------------------------
-- Check_File_Based_Lang -- -- Check_File_Based_Lang --
......
...@@ -398,7 +398,7 @@ package Prj is ...@@ -398,7 +398,7 @@ package Prj is
Body_Suffix => No_File); Body_Suffix => No_File);
type Source_Data; type Source_Data;
type Source_Id is access Source_Data; type Source_Id is access all Source_Data;
No_Source : constant Source_Id := null; No_Source : constant Source_Id := null;
......
...@@ -3116,7 +3116,7 @@ package body Sem_Aggr is ...@@ -3116,7 +3116,7 @@ package body Sem_Aggr is
-- Now collect components from all other ancestors, beginning -- Now collect components from all other ancestors, beginning
-- with the current type. If the type has unknown discriminants -- with the current type. If the type has unknown discriminants
-- use the component list of the underlying_record_view, which -- use the component list of the Underlying_Record_View, which
-- needs to be used for the subsequent expansion of the aggregate -- needs to be used for the subsequent expansion of the aggregate
-- into assignments. -- into assignments.
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- -- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -113,9 +113,8 @@ package Sem_Cat is ...@@ -113,9 +113,8 @@ package Sem_Cat is
-- Apply semantic checks given in E2.3(10-14) -- Apply semantic checks given in E2.3(10-14)
procedure Validate_RCI_Subprogram_Declaration (N : Node_Id); procedure Validate_RCI_Subprogram_Declaration (N : Node_Id);
-- Check for RCI unit subprogram declarations with respect to -- Check RCI subprogram declarations for illegal inlining and formals not
-- in-lined subprogram and subprogram with access parameter or -- supporting external streaming.
-- limited type parameter without Read and Write.
procedure Validate_Remote_Access_To_Class_Wide_Type (N : Node_Id); procedure Validate_Remote_Access_To_Class_Wide_Type (N : Node_Id);
-- Checks that Storage_Pool and Storage_Size attribute references are -- Checks that Storage_Pool and Storage_Size attribute references are
......
...@@ -734,7 +734,7 @@ package body Sem_Ch10 is ...@@ -734,7 +734,7 @@ package body Sem_Ch10 is
-- in its scope. Finally we create a Units table entry for -- in its scope. Finally we create a Units table entry for
-- the subprogram declaration, to maintain a one-to-one -- the subprogram declaration, to maintain a one-to-one
-- correspondence with compilation unit nodes. This is -- correspondence with compilation unit nodes. This is
-- critical for the tree traversals performed by Inspector. -- critical for the tree traversals performed by Codepeer.
declare declare
Loc : constant Source_Ptr := Sloc (N); Loc : constant Source_Ptr := Sloc (N);
......
...@@ -11878,6 +11878,7 @@ package body Sem_Ch12 is ...@@ -11878,6 +11878,7 @@ package body Sem_Ch12 is
procedure Save_References (N : Node_Id) is procedure Save_References (N : Node_Id) is
Loc : constant Source_Ptr := Sloc (N); Loc : constant Source_Ptr := Sloc (N);
begin begin
if N = Empty then if N = Empty then
null; null;
......
...@@ -2618,8 +2618,8 @@ package body Sem_Ch6 is ...@@ -2618,8 +2618,8 @@ package body Sem_Ch6 is
-- Start of processing for Analyze_Subprogram_Declaration -- Start of processing for Analyze_Subprogram_Declaration
begin begin
-- For a null procedure. capture the profile before analysis, for -- For a null procedure, capture the profile before analysis, for
-- expansion at the freeze point, and at each point of call. -- expansion at the freeze point and at each point of call.
-- The body will only be used if the procedure has preconditions. -- The body will only be used if the procedure has preconditions.
-- In that case the body is analyzed at the freeze point. -- In that case the body is analyzed at the freeze point.
...@@ -2631,7 +2631,8 @@ package body Sem_Ch6 is ...@@ -2631,7 +2631,8 @@ package body Sem_Ch6 is
Make_Subprogram_Body (Loc, Make_Subprogram_Body (Loc,
Specification => Specification =>
New_Copy_Tree (Specification (N)), New_Copy_Tree (Specification (N)),
Declarations => New_List, Declarations =>
New_List,
Handled_Statement_Sequence => Handled_Statement_Sequence =>
Make_Handled_Sequence_Of_Statements (Loc, Make_Handled_Sequence_Of_Statements (Loc,
Statements => New_List (Make_Null_Statement (Loc)))); Statements => New_List (Make_Null_Statement (Loc))));
...@@ -4424,10 +4425,10 @@ package body Sem_Ch6 is ...@@ -4424,10 +4425,10 @@ package body Sem_Ch6 is
then then
Set_Is_Overriding_Operation (Subp); Set_Is_Overriding_Operation (Subp);
-- If style checks are enabled, indicate that the indicator -- If style checks are enabled, indicate that the indicator is
-- is missing. However, at the point of declaration, the type -- missing. However, at the point of declaration, the type of
-- of which this is a primitive operation may be private, in -- which this is a primitive operation may be private, in which
-- which case the indicator would be premature. -- case the indicator would be premature.
if Has_Private_Declaration (Etype (Subp)) if Has_Private_Declaration (Etype (Subp))
or else Has_Private_Declaration (Etype (First_Formal (Subp))) or else Has_Private_Declaration (Etype (First_Formal (Subp)))
......
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