switch-c.adb, [...]: Minor reformatting.

2014-01-21  Robert Dewar  <dewar@adacore.com>

	* switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting.

From-SVN: r206872

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 745e40c02d8040d44573f6b35b56c8c72f2c2319..5b426fc84226b07a63be747efd95fa9c2d6fd5f9 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2014-01-21  Robert Dewar  <dewar@adacore.com>
+
+       * switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting.
+
 2014-01-21  Thomas Quinot  <quinot@adacore.com>
 
        * atree.adb, atree.ads (Num_Extension_Nodes): Switch to Node_Id, since

diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb
index 3eb67f60dbc62e3a668114d0be40ced4e54f27b9..95b31329866b3cd67215b2ffd116bc9a32aba512 100644 (file)
--- a/gcc/ada/atree.adb
+++ b/gcc/ada/atree.adb
@@ -739,6 +739,7 @@ package body Atree is
 
       if Has_Extension (Source) then
          pragma Assert (Has_Extension (Destination));
+
          for J in 1 .. Num_Extension_Nodes loop
             Nodes.Table (Destination + J) := Nodes.Table (Source + J);
          end loop;

diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads
index 39e2471e7ae36463b370f28be98259a6d705df8f..415f96f34cdae40963ff9faea37f9a1134170207 100644 (file)
--- a/gcc/ada/atree.ads
+++ b/gcc/ada/atree.ads
@@ -75,7 +75,8 @@ package Atree is
 
    Num_Extension_Nodes : Node_Id := 5;
    --  This value is increased by one if debug flag -gnatd.N is set. This is
-   --  for testing performance impact of adding a new extension node.
+   --  for testing performance impact of adding a new extension node. We make
+   --  this of type Node_Id for easy reference in loops using this value.
 
    ----------------------------------------
    -- Definitions of Fields in Tree Node --

diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb
index 9cc9e933bebe321cc6aeb5df303bfe1b61c69a31..684f62fa4b708c98badaf3679278d2195b3c557c 100644 (file)
--- a/gcc/ada/switch-c.adb
+++ b/gcc/ada/switch-c.adb
@@ -663,8 +663,7 @@ package body Switch.C is
                   --  -gnateS (generate SCO information)
 
                   --  Include Source Coverage Obligation information in ALI
-                  --  files for the benefit of source coverage analysis tools
-                  --  (xcov).
+                  --  files for use by source coverage analysis tools (xcov).
 
                   when 's' =>
                      if not First_Switch then

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index bfa31cb4aef83e30a868f1821816dddb8d2dd96e..15215a31dd4b65621ad4c2130a67d00567cec206 100644 (file)
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -236,12 +236,10 @@ begin
    Write_Switch_Char ("eP");
    Write_Line ("Pure/Prelaborate errors generate warnings rather than errors");
 
-   if GNATprove_Mode then
-      --  Line for -gnates switch
+   --  Line for -gnates switch
 
-      Write_Switch_Char ("es=?");
-      Write_Line ("Specify extra switches for gnat2why");
-   end if;
+   Write_Switch_Char ("es=?");
+   Write_Line ("Specify extra switches for gnat2why");
 
    --  Line for -gnateS switch