[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 27 Oct 2015 11:13:20 +0000 (12:13 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 27 Oct 2015 11:13:20 +0000 (12:13 +0100)
2015-10-27  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb: Remove hard coded restrictions.

2015-10-27  Pascal Obry  <obry@adacore.com>

* a-dirval-mingw.adb: Minor reformatting.

From-SVN: r229415

gcc/ada/ChangeLog
gcc/ada/a-dirval-mingw.adb
gcc/ada/gnat1drv.adb

index 9b17b2cc66892845f98644a9d67a2d661e6753fd..a9ae75ebd37c0bcfe6938be5325327998531876d 100644 (file)
@@ -1,3 +1,11 @@
+2015-10-27  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat1drv.adb: Remove hard coded restrictions.
+
+2015-10-27  Pascal Obry  <obry@adacore.com>
+
+       * a-dirval-mingw.adb: Minor reformatting.
+
 2015-10-27  Javier Miranda  <miranda@adacore.com>
 
        * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Improve previous patch.
index d7d77622db7fb57ea014e27428c729dca68ab4cb..bd8429c47671af9b94054d86ddaa458b11537389 100644 (file)
@@ -7,7 +7,7 @@
 --                                 B o d y                                  --
 --                            (Windows Version)                             --
 --                                                                          --
---          Copyright (C) 2004-2014, Free Software Foundation, Inc.         --
+--          Copyright (C) 2004-2015, 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- --
@@ -74,8 +74,8 @@ package body Ada.Directories.Validity is
          if Name'Length >= 2
            and then  Name (Start + 1) = ':'
            and then
-            (Name (Start) in 'A' .. 'Z' or else
-             Name (Start) in 'a' .. 'z')
+            (Name (Start) in 'A' .. 'Z'
+             or else Name (Start) in 'a' .. 'z')
          then
             Start := Start + 2;
 
@@ -93,8 +93,8 @@ package body Ada.Directories.Validity is
          loop
             --  Look for the start of the next directory or file name
 
-            while Start <= Name'Last and then
-              (Name (Start) = '\' or Name (Start) = '/')
+            while Start <= Name'Last
+              and then (Name (Start) = '\' or Name (Start) = '/')
             loop
                Start := Start + 1;
             end loop;
index cd89cb570fdd78cea52b8db148b3e5fd451e0372..586844d3a72fd80fa1f7db84a805222942b5dfbc 100644 (file)
@@ -150,17 +150,6 @@ procedure Gnat1drv is
          Unnest_Subprogram_Mode := True;
          Back_Annotate_Rep_Info := True;
 
-         --  Enable some restrictions systematically to simplify the generated
-         --  code. Note that restriction checks are also disabled in C mode,
-         --  see Restrict.Check_Restriction.
-
-         Restrict.Restrictions.Set   (No_Exception_Registration)       := True;
-         Restrict.Restrictions.Set   (No_Initialize_Scalars)           := True;
-         Restrict.Restrictions.Set   (No_Task_Hierarchy)               := True;
-         Restrict.Restrictions.Set   (No_Abort_Statements)             := True;
-         Restrict.Restrictions.Set   (Max_Asynchronous_Select_Nesting) := True;
-         Restrict.Restrictions.Value (Max_Asynchronous_Select_Nesting) := 0;
-
          --  Set operating mode to Generate_Code to benefit from full front-end
          --  expansion (e.g. generics).