s-osprim-mingw.adb, [...]: Minor reformatting
authorRobert Dewar <dewar@adacore.com>
Tue, 15 May 2012 09:40:25 +0000 (09:40 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 15 May 2012 09:40:25 +0000 (11:40 +0200)
2012-05-15  Robert Dewar  <dewar@adacore.com>

* s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting

From-SVN: r187510

gcc/ada/ChangeLog
gcc/ada/a-calend-vms.ads
gcc/ada/s-osprim-mingw.adb
gcc/ada/sem_eval.adb

index 0b9c112..2c2baa4 100644 (file)
@@ -1,3 +1,7 @@
+2012-05-15  Robert Dewar  <dewar@adacore.com>
+
+       * s-osprim-mingw.adb, sem_eval.adb, a-calend-vms.ads: Minor reformatting
+
 2012-05-15  Ed Schonberg  <schonberg@adacore.com>
 
        * sem_eval.adb (Subtypes_Statically_Match): In Ada 2012, static
index 134882b..744011a 100644 (file)
@@ -49,9 +49,8 @@ package Ada.Calendar is
    subtype Month_Number is Integer range 1 .. 12;
    subtype Day_Number   is Integer range 1 .. 31;
 
-   --  A Day_Duration value of 86_400.0 designates a new day
-
    subtype Day_Duration is Duration range 0.0 .. 86_400.0;
+   --  Note that a value of 86_400.0 is the start of the next day
 
    function Clock return Time;
    --  The returned time value is the number of nanoseconds since the start
index a658f71..bb1108a 100644 (file)
@@ -236,7 +236,6 @@ package body System.OS_Primitives is
    function Monotonic_Clock return Duration is
       Current_Ticks  : aliased LARGE_INTEGER;
       Elap_Secs_Tick : Duration;
-
    begin
       if QueryPerformanceCounter (Current_Ticks'Access) = Win32.FALSE then
          return 0.0;
index 329a267..2393f6f 100644 (file)
@@ -4669,6 +4669,10 @@ package body Sem_Eval is
       --  In Ada 2012, subtypes statically match if their static predicates
       --  match as well.
 
+      ----------------------
+      -- Predicates_Match --
+      ----------------------
+
       function Predicates_Match return Boolean is
          Pred1 : Node_Id;
          Pred2 : Node_Id;
@@ -4699,6 +4703,8 @@ package body Sem_Eval is
          end if;
       end Predicates_Match;
 
+   --  Start of processing for Subtypes_Statically_Match
+
    begin
       --  A type always statically matches itself
 
@@ -4768,7 +4774,8 @@ package body Sem_Eval is
             HB2 : constant Node_Id := Type_High_Bound (T2);
 
          begin
-            --  If the bounds are the same tree node, then match
+            --  If the bounds are the same tree node, then match if and only
+            --  if any predicates present also match.
 
             if LB1 = LB2 and then HB1 = HB2 then
                return Predicates_Match;