From: Arnaud Charlet <charlet@adacore.com>
Date: Fri, 31 Jan 2020 11:22:26 +0000 (-0500)
Subject: [Ada] AI12-0318 No_IO should apply to Ada.Directories
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79d09a491c9ca17e2159d73e0e9855d64d6fa7cf;p=gcc.git

[Ada] AI12-0318 No_IO should apply to Ada.Directories

2020-06-05  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* restrict.ads (Unit_Array): Add a-direct.
---

diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads
index ac4b663ddc0..5926892c06e 100644
--- a/gcc/ada/restrict.ads
+++ b/gcc/ada/restrict.ads
@@ -89,6 +89,7 @@ package Restrict is
      (No_Delay,                    "calendar"),
      (No_Dynamic_Priorities,       "a-dynpri"),
      (No_Finalization,             "a-finali"),
+     (No_IO,                       "a-direct"),
      (No_IO,                       "a-direio"),
      (No_IO,                       "directio"),
      (No_IO,                       "a-sequio"),