OSDN Git Service

2009-11-30 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Nov 2009 14:03:03 +0000 (14:03 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Nov 2009 14:03:03 +0000 (14:03 +0000)
* osint.adb, prj-nmsc.adb, sem_prag.adb, sem_util.adb: Minor
reformatting.
* csinfo.adb: Terminate run if improper use of reserved flag
* sinfo.ads, sinfo.adb (Is_Accessibility_Actual): Don't use reserved
Flag12, used Flag13 instead.

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

gcc/ada/ChangeLog
gcc/ada/csinfo.adb
gcc/ada/osint.adb
gcc/ada/prj-nmsc.adb
gcc/ada/sem_prag.adb
gcc/ada/sem_util.adb
gcc/ada/sinfo.adb
gcc/ada/sinfo.ads

index a93eedf..cdf787f 100644 (file)
@@ -1,3 +1,11 @@
+2009-11-30  Robert Dewar  <dewar@adacore.com>
+
+       * osint.adb, prj-nmsc.adb, sem_prag.adb, sem_util.adb: Minor
+       reformatting.
+       * csinfo.adb: Terminate run if improper use of reserved flag
+       * sinfo.ads, sinfo.adb (Is_Accessibility_Actual): Don't use reserved
+       Flag12, used Flag13 instead.
+       
 2009-11-30  Vincent Celier  <celier@adacore.com>
 
        * gnatcmd.adb (Check_Files): Recognize documented switches that have a
index 9d8b16b..be4e79f 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          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- --
 --                                                                          --
 ------------------------------------------------------------------------------
 
---  Program to check consistency of sinfo.ads and sinfo.adb. Checks that
---  field name usage is consistent and that assertion cross-reference lists
---  are correct, as well as making sure that all the comments on field name
---  usage are consistent.
+--  Program to check consistency of sinfo.ads and sinfo.adb. Checks that field
+--  name usage is consistent and that assertion cross-reference lists are
+--  correct, as well as making sure that all the comments on field name usage
+--  are consistent.
 
 with Ada.Strings.Unbounded;         use Ada.Strings.Unbounded;
 with Ada.Strings.Unbounded.Text_IO; use Ada.Strings.Unbounded.Text_IO;
@@ -296,6 +296,7 @@ begin
 
       if Bad then
          Put_Line ("fields conflict with standard fields for node " & Node);
+         raise Done;
       end if;
    end loop;
 
index bf2b234..5aa8458 100644 (file)
@@ -846,11 +846,11 @@ package body Osint is
                if Buffer'Length <= Exec_Suffix'Length
                  or else
                    Buffer (Buffer'Last - Exec_Suffix'Length + 1 .. Buffer'Last)
-                   /= Exec_Suffix.all
+                     /= Exec_Suffix.all
                then
                   Name_Buffer
                     (Name_Len + 1 .. Name_Len + Exec_Suffix'Length) :=
-                    Exec_Suffix.all;
+                      Exec_Suffix.all;
                   Name_Len := Name_Len + Exec_Suffix'Length;
                   Free (Exec_Suffix);
                   return Name_Find;
index 9b65dc3..a3f5100 100644 (file)
@@ -2521,10 +2521,10 @@ package body Prj.Nmsc is
                         Data.Tree);
 
       Library_Interface : constant Prj.Variable_Value :=
-                     Prj.Util.Value_Of
-                       (Snames.Name_Library_Interface,
-                        Project.Decl.Attributes,
-                        Data.Tree);
+                            Prj.Util.Value_Of
+                              (Snames.Name_Library_Interface,
+                               Project.Decl.Attributes,
+                               Data.Tree);
 
       List      : String_List_Id;
       Element   : String_Element;
@@ -2678,8 +2678,8 @@ package body Prj.Nmsc is
 
          Project.Interfaces_Defined := True;
 
-      elsif Project.Extends /= No_Project and then
-            Project.Extends.Interfaces_Defined
+      elsif Project.Extends /= No_Project
+        and then Project.Extends.Interfaces_Defined
       then
          Project.Interfaces_Defined := True;
 
index 2aa6c2e..fd1a377 100644 (file)
@@ -5212,11 +5212,12 @@ package body Sem_Prag is
          -- Annotate --
          --------------
 
-         --  pragma Annotate (IDENTIFIER, [IDENTIFIER], {, ARG});
+         --  pragma Annotate (IDENTIFIER [, IDENTIFIER {, ARG}]);
          --  ARG ::= NAME | EXPRESSION
-         --  The first two arguments are by convention intended to refer
-         --  to an external tool and a tool-specific function. These
-         --  arguments are not analyzed.
+
+         --  The first two arguments are by convention intended to refer to an
+         --  external tool and a tool-specific function. These arguments are
+         --  not analyzed.
 
          when Pragma_Annotate => Annotate : begin
             GNAT_Pragma;
@@ -5228,7 +5229,7 @@ package body Sem_Prag is
                Exp : Node_Id;
 
             begin
-               --  Second unanalyzed parameter is optional.
+               --  Second unanalyzed parameter is optional
 
                if No (Arg2) then
                   null;
index b01ab0a..a73d346 100644 (file)
@@ -7051,19 +7051,23 @@ package body Sem_Util is
 
    function Is_Delegate (T : Entity_Id) return Boolean is
       Desig_Type : Entity_Id;
+
    begin
       if VM_Target /= CLI_Target then
          return False;
       end if;
 
       --  Access-to-subprograms are delegates in CIL
+
       if Ekind (T) = E_Access_Subprogram_Type then
          return True;
       end if;
 
       if Ekind (T) not in Access_Kind then
-         --  a delegate is a managed pointer. If no designated type is defined
+
+         --  A delegate is a managed pointer. If no designated type is defined
          --  it means that it's not a delegate.
+
          return False;
       end if;
 
@@ -7074,6 +7078,7 @@ package body Sem_Util is
       end if;
 
       --  Test if the type is inherited from [mscorlib]System.Delegate
+
       while Etype (Desig_Type) /= Desig_Type loop
          if Chars (Scope (Desig_Type)) /= No_Name
            and then Is_Imported (Scope (Desig_Type))
@@ -7095,11 +7100,11 @@ package body Sem_Util is
    function Is_Variable (N : Node_Id) return Boolean is
 
       Orig_Node : constant Node_Id := Original_Node (N);
-      --  We do the test on the original node, since this is basically a
-      --  test of syntactic categories, so it must not be disturbed by
-      --  whatever rewriting might have occurred. For example, an aggregate,
-      --  which is certainly NOT a variable, could be turned into a variable
-      --  by expansion.
+      --  We do the test on the original node, since this is basically a test
+      --  of syntactic categories, so it must not be disturbed by whatever
+      --  rewriting might have occurred. For example, an aggregate, which is
+      --  certainly NOT a variable, could be turned into a variable by
+      --  expansion.
 
       function In_Protected_Function (E : Entity_Id) return Boolean;
       --  Within a protected function, the private components of the
index dcb20e8..c075af5 100644 (file)
@@ -1588,7 +1588,7 @@ package body Sinfo is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Parameter_Association);
-      return Flag12 (N);
+      return Flag13 (N);
    end Is_Accessibility_Actual;
 
    function Is_Asynchronous_Call_Block
@@ -4458,7 +4458,7 @@ package body Sinfo is
    begin
       pragma Assert (False
         or else NT (N).Nkind = N_Parameter_Association);
-      Set_Flag12 (N, Val);
+      Set_Flag13 (N, Val);
    end Set_Is_Accessibility_Actual;
 
    procedure Set_Is_Asynchronous_Call_Block
index 8865548..c37a259 100644 (file)
@@ -1179,7 +1179,7 @@ package Sinfo is
    --    to the node for the spec of the instance, inserted as part of the
    --    semantic processing for instantiations in Sem_Ch12.
 
-   --  Is_Accessibility_Actual (Flag12-Sem)
+   --  Is_Accessibility_Actual (Flag13-Sem)
    --    Present in N_Parameter_Association nodes. True if the parameter is
    --    an extra actual that carries the accessibility level of the actual
    --    for an access parameter, in a function that dispatches on result and
@@ -4461,7 +4461,7 @@ package Sinfo is
       --  Selector_Name (Node2) (always non-Empty)
       --  Explicit_Actual_Parameter (Node3)
       --  Next_Named_Actual (Node4-Sem)
-      --  Is_Accessibility_Actual (Flag12-Sem)
+      --  Is_Accessibility_Actual (Flag13-Sem)
 
       ---------------------------
       -- 6.4  Actual Parameter --
@@ -8090,7 +8090,7 @@ package Sinfo is
      (N : Node_Id) return Uint;       -- Uint3
 
    function Is_Accessibility_Actual
-     (N : Node_Id) return Boolean;    -- Flag12
+     (N : Node_Id) return Boolean;    -- Flag13
 
    function Is_Asynchronous_Call_Block
      (N : Node_Id) return Boolean;    -- Flag7
@@ -9005,7 +9005,7 @@ package Sinfo is
      (N : Node_Id; Val : Uint);               -- Uint3
 
    procedure Set_Is_Accessibility_Actual
-     (N : Node_Id; Val : Boolean := True);    -- Flag12
+     (N : Node_Id; Val : Boolean := True);    -- Flag13
 
    procedure Set_Is_Asynchronous_Call_Block
      (N : Node_Id; Val : Boolean := True);    -- Flag7