diff options
| author | Javier Miranda <miranda@adacore.com> | 2005-11-15 15:04:34 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-11-15 15:04:34 +0100 |
| commit | 5e804c9fcd95af1c25f80cb166cfa2556843cdad (patch) | |
| tree | c89cfdceeff221793ab4be7855ba0e2483f2e511 /gcc/ada/s-finroo.adb | |
| parent | b47efa9317b548f04e66fc67ecc6965c7dc62718 (diff) | |
| download | gcc-5e804c9fcd95af1c25f80cb166cfa2556843cdad.tar.gz | |
s-finroo.ads, [...] (Read): Addition of "not null" to the anonymous access.
2005-11-14 Javier Miranda <miranda@adacore.com>
* s-finroo.ads, s-finroo.adb (Read): Addition of "not null" to the
anonymous access.
(Write): Addition of "not null" to the anonymous access.
(Read): Addition of "not null" to the anonymous access.
(Write): Addition of "not null" to the anonymous access.
* s-strxdr.adb, s-stratt.ads, s-stratt.adb (I_AD, I_AS, I_B, I_C, I_F,
I_I, I_LF, I_LI, I_LLF, I_LLI, I_LLU, I_LU, I_SF, I_SI, I_SSI, I_SSU,
I_SU, I_U, I_WC): Addition of "not null" to the anonymous access.
(W_AD, W_AS, W_B, W_C, W_F, W_I, W_LF, W_LI, W_LLF, W_LLI, W_LLU,
W_LU, W_SF, W_SI, W_SSI, W_SSU, W_SU, W_U, W_WC): Addition of
"not null" to the anonymous access.
From-SVN: r107009
Diffstat (limited to 'gcc/ada/s-finroo.adb')
| -rw-r--r-- | gcc/ada/s-finroo.adb | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/s-finroo.adb b/gcc/ada/s-finroo.adb index 6fcc6081505..559c29cf0d7 100644 --- a/gcc/ada/s-finroo.adb +++ b/gcc/ada/s-finroo.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005 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- -- @@ -73,8 +73,9 @@ package body System.Finalization_Root is -- Suppress warning for out paramater Item which is not assigned -- because it is pretty much empty. - procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class; - Item : out Root_Controlled) + procedure Read + (Stream : not null access Ada.Streams.Root_Stream_Type'Class; + Item : out Root_Controlled) is begin null; @@ -87,8 +88,9 @@ package body System.Finalization_Root is -- Read and Write must be empty in order to avoid copying the -- finalization pointers. - procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class; - Item : in Root_Controlled) + procedure Write + (Stream : not null access Ada.Streams.Root_Stream_Type'Class; + Item : in Root_Controlled) is begin null; |