+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
-- If we have a corresponding spec, and it comes from source
-- 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
and then not Acts_As_Spec (Main_Unit_Node)
function Suffix_Matches
(Filename : String;
Suffix : File_Name_Type) return Boolean;
- -- True if the filename ends with the given suffix. It always returns False
- -- if Suffix is No_Name
+ -- True if the file name ends with the given suffix. Always returns False
+ -- if Suffix is No_Name.
procedure Replace_Into_Name_Buffer
(Str : String;
-- Returns True if the file belongs to the current language and we
-- should stop searching for matching languages. Not that a given header
-- 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 --
Body_Suffix => No_File);
type Source_Data;
- type Source_Id is access Source_Data;
+ type Source_Id is access all Source_Data;
No_Source : constant Source_Id := null;
-- Now collect components from all other ancestors, beginning
-- 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
-- into assignments.
-- --
-- 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 --
-- terms of the GNU General Public License as published by the Free Soft- --
-- Apply semantic checks given in E2.3(10-14)
procedure Validate_RCI_Subprogram_Declaration (N : Node_Id);
- -- Check for RCI unit subprogram declarations with respect to
- -- in-lined subprogram and subprogram with access parameter or
- -- limited type parameter without Read and Write.
+ -- Check RCI subprogram declarations for illegal inlining and formals not
+ -- supporting external streaming.
procedure Validate_Remote_Access_To_Class_Wide_Type (N : Node_Id);
-- Checks that Storage_Pool and Storage_Size attribute references are
-- in its scope. Finally we create a Units table entry for
-- the subprogram declaration, to maintain a one-to-one
-- correspondence with compilation unit nodes. This is
- -- critical for the tree traversals performed by Inspector.
+ -- critical for the tree traversals performed by Codepeer.
declare
Loc : constant Source_Ptr := Sloc (N);
procedure Save_References (N : Node_Id) is
Loc : constant Source_Ptr := Sloc (N);
+
begin
if N = Empty then
null;
-- Start of processing for Analyze_Subprogram_Declaration
begin
- -- For a null procedure. capture the profile before analysis, for
- -- expansion at the freeze point, and at each point of call.
+ -- For a null procedure, capture the profile before analysis, for
+ -- expansion at the freeze point and at each point of call.
-- The body will only be used if the procedure has preconditions.
-- In that case the body is analyzed at the freeze point.
Make_Subprogram_Body (Loc,
Specification =>
New_Copy_Tree (Specification (N)),
- Declarations => New_List,
+ Declarations =>
+ New_List,
Handled_Statement_Sequence =>
Make_Handled_Sequence_Of_Statements (Loc,
Statements => New_List (Make_Null_Statement (Loc))));
then
Set_Is_Overriding_Operation (Subp);
- -- If style checks are enabled, indicate that the indicator
- -- is missing. However, at the point of declaration, the type
- -- of which this is a primitive operation may be private, in
- -- which case the indicator would be premature.
+ -- If style checks are enabled, indicate that the indicator is
+ -- missing. However, at the point of declaration, the type of
+ -- which this is a primitive operation may be private, in which
+ -- case the indicator would be premature.
if Has_Private_Declaration (Etype (Subp))
or else Has_Private_Declaration (Etype (First_Formal (Subp)))