[Ada] AI12-0318 No_IO should apply to Ada.Directories
authorArnaud Charlet <charlet@adacore.com>
Fri, 31 Jan 2020 11:22:26 +0000 (06:22 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:37 +0000 (08:17 -0400)
2020-06-05  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

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

gcc/ada/restrict.ads

index ac4b663ddc003fef10747074c66bafbc1fe6dd2c..5926892c06e69863191cea07c339aecb16abf71a 100644 (file)
@@ -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"),