diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-21 07:54:56 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-21 08:54:56 +0100 |
| commit | 77a2f3df910f3b32cb0cbc3b6967c229d5680272 (patch) | |
| tree | f71da796d9a3d34f4f69cc3d0f65b97a32e0baf2 | |
| parent | 5f0c4d67184452807f37ee04a2edd95967c5e26c (diff) | |
| download | gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.zip gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.tar.gz gcc-77a2f3df910f3b32cb0cbc3b6967c229d5680272.tar.bz2 | |
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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/atree.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/atree.ads | 3 | ||||
| -rw-r--r-- | gcc/ada/switch-c.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/usage.adb | 8 |
5 files changed, 11 insertions, 8 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 745e40c..5b426fc 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 3eb67f6..95b3132 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 39e2471..415f96f 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 9cc9e93..684f62f 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 bfa31cb..15215a3 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 |