From: Robert Dewar <dewar@adacore.com>
Date: Tue, 21 Jan 2014 07:54:56 +0000 (+0000)
Subject: switch-c.adb, [...]: Minor reformatting.
X-Git-Tag: releases/gcc-4.9.0~1500
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=77a2f3df910f3b32cb0cbc3b6967c229d5680272;p=thirdparty%2Fgcc.git

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 745e40c02d80..5b426fc84226 100644
--- 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 3eb67f60dbc6..95b31329866b 100644
--- 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 39e2471e7ae3..415f96f34cda 100644
--- 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 9cc9e933bebe..684f62fa4b70 100644
--- 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 bfa31cb4aef8..15215a31dd4b 100644
--- 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