2009-07-23 Sergey Rybin <rybin@adacore.com>

	* gnat_ugn.texi: Update doc on Misnamed_Identifiers rule.

2009-07-23  Javier Miranda  <miranda@adacore.com>

	* sinfo.ads, sinfo.adb (SCIL_Entity/Set_SCIL_Entity): new subprograms
	(Entity/Set_Entity): not available in N_Null_Statement nodes
	(Is_Scil_Node): renamed as Is_SCIL_Node
	(Scil_Nkind): renamed as SCIL_Nkind
	(Scil_Related_Node): renamed as SCIL_Related_Node
	(Scil_Target_Prim): renamed as SCIL_Target_Prim
	(Set_Is_Scil_Node): Renamed as Set_Is_SCIL_Node
	(Set_Scil_Related_Node): Renamed as Set_SCIL_Related_Node
	(Set_Scil_Target_Prim): Renamed as Set_SCIL_Target_Prim
	Update documentation
	* exp_disp.ads (Scil_Node_Kind): Renamed as SCIL_Node_Kind
	(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
	(New_Scil_Node): Renamed as New_SCIL_Node
	* exp_disp.adb Update all occurrences of New_Scil_Node to New_SCIL_Node.
	(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
	(New_Scil_Node): Renamed as New_SCIL_Node
	* exp_ch3.adb Update occurrence of New_Scil_Node to New_SCIL_Node.

2009-07-23  Robert Dewar  <dewar@adacore.com>

	* sem_prag.adb: No_Return is an Ada 2005 pragma, not a GNAT pragma
	* snames.ads-tmpl: No_Return is an Ada 2005 pragma, not a GNAT pragma
	* einfo.adb: Minor reformatting



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149984 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 34 insertions, 20 deletions

diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb
index 56347de3bd5..3ecaf513ffe 100644
--- a/gcc/ada/sinfo.adb
+++ b/gcc/ada/sinfo.adb
@@ -1027,8 +1027,7 @@ package body Sinfo is
       pragma Assert (False
         or else NT (N).Nkind in N_Has_Entity
         or else NT (N).Nkind = N_Freeze_Entity
-        or else NT (N).Nkind = N_Attribute_Definition_Clause
-        or else NT (N).Nkind = N_Null_Statement);
+        or else NT (N).Nkind = N_Attribute_Definition_Clause);
       return Node4 (N);
    end Entity;
 
@@ -1704,13 +1703,13 @@ package body Sinfo is
       return Flag7 (N);
    end Is_Protected_Subprogram_Body;
 
-   function Is_Scil_Node
+   function Is_SCIL_Node
       (N : Node_Id) return Boolean is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       return Flag4 (N);
-   end Is_Scil_Node;
+   end Is_SCIL_Node;
 
    function Is_Static_Coextension
       (N : Node_Id) return Boolean is
@@ -2542,29 +2541,37 @@ package body Sinfo is
       return Flag18 (N);
    end Rounded_Result;
 
-   function Scil_Nkind
+   function SCIL_Entity
+      (N : Node_Id) return Node_Id is
+   begin
+      pragma Assert (False
+        or else NT (N).Nkind = N_Null_Statement);
+      return Node4 (N);
+   end SCIL_Entity;
+
+   function SCIL_Nkind
       (N : Node_Id) return Uint is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       return Uint3 (N);
-   end Scil_Nkind;
+   end SCIL_Nkind;
 
-   function Scil_Related_Node
+   function SCIL_Related_Node
       (N : Node_Id) return Node_Id is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       return Node1 (N);
-   end Scil_Related_Node;
+   end SCIL_Related_Node;
 
-   function Scil_Target_Prim
+   function SCIL_Target_Prim
       (N : Node_Id) return Node_Id is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       return Node2 (N);
-   end Scil_Target_Prim;
+   end SCIL_Target_Prim;
 
    function Scope
       (N : Node_Id) return Node_Id is
@@ -3883,8 +3890,7 @@ package body Sinfo is
       pragma Assert (False
         or else NT (N).Nkind in N_Has_Entity
         or else NT (N).Nkind = N_Freeze_Entity
-        or else NT (N).Nkind = N_Attribute_Definition_Clause
-        or else NT (N).Nkind = N_Null_Statement);
+        or else NT (N).Nkind = N_Attribute_Definition_Clause);
       Set_Node4 (N, Val); -- semantic field, no parent set
    end Set_Entity;
 
@@ -4551,13 +4557,13 @@ package body Sinfo is
       Set_Flag7 (N, Val);
    end Set_Is_Protected_Subprogram_Body;
 
-   procedure Set_Is_Scil_Node
+   procedure Set_Is_SCIL_Node
       (N : Node_Id; Val : Boolean := True) is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       Set_Flag4 (N, Val);
-   end Set_Is_Scil_Node;
+   end Set_Is_SCIL_Node;
 
    procedure Set_Is_Static_Coextension
       (N : Node_Id; Val : Boolean := True) is
@@ -5389,29 +5395,37 @@ package body Sinfo is
       Set_Flag18 (N, Val);
    end Set_Rounded_Result;
 
-   procedure Set_Scil_Nkind
+   procedure Set_SCIL_Entity
+      (N : Node_Id; Val : Node_Id) is
+   begin
+      pragma Assert (False
+        or else NT (N).Nkind = N_Null_Statement);
+      Set_Node4 (N, Val); -- semantic field, no parent set
+   end Set_SCIL_Entity;
+
+   procedure Set_SCIL_Nkind
       (N : Node_Id; Val : Uint) is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       Set_Uint3 (N, Val);
-   end Set_Scil_Nkind;
+   end Set_SCIL_Nkind;
 
-   procedure Set_Scil_Related_Node
+   procedure Set_SCIL_Related_Node
       (N : Node_Id; Val : Node_Id) is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       Set_Node1 (N, Val);
-   end Set_Scil_Related_Node;
+   end Set_SCIL_Related_Node;
 
-   procedure Set_Scil_Target_Prim
+   procedure Set_SCIL_Target_Prim
       (N : Node_Id; Val : Node_Id) is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Null_Statement);
       Set_Node2 (N, Val);
-   end Set_Scil_Target_Prim;
+   end Set_SCIL_Target_Prim;
 
    procedure Set_Scope
       (N : Node_Id; Val : Node_Id) is