From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 27 Oct 2015 11:13:20 +0000 (+0100)
Subject: [multiple changes]
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3010f3667e577297811fe4b106c0f32c93af7db;p=gcc.git

[multiple changes]

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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9b17b2cc668..a9ae75ebd37 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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.
diff --git a/gcc/ada/a-dirval-mingw.adb b/gcc/ada/a-dirval-mingw.adb
index d7d77622db7..bd8429c4767 100644
--- a/gcc/ada/a-dirval-mingw.adb
+++ b/gcc/ada/a-dirval-mingw.adb
@@ -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;
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index cd89cb570fd..586844d3a72 100644
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -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).