diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-31 06:22:26 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:37 -0400 |
| commit | 79d09a491c9ca17e2159d73e0e9855d64d6fa7cf (patch) | |
| tree | 9fd282ff88844507922e6552391d1787f422a6a9 | |
| parent | f191b2c8646a8d37a869752919fbfbe39a94cc72 (diff) | |
| download | gcc-79d09a491c9ca17e2159d73e0e9855d64d6fa7cf.zip gcc-79d09a491c9ca17e2159d73e0e9855d64d6fa7cf.tar.gz gcc-79d09a491c9ca17e2159d73e0e9855d64d6fa7cf.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/restrict.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index ac4b663..5926892 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"), |