exp_strm.adb (Build_Stream_Attr_Profile, [...]): Add the null-excluding attribute...
authorJavier Miranda <miranda@adacore.com>
Tue, 15 Nov 2005 13:58:31 +0000 (14:58 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 15 Nov 2005 13:58:31 +0000 (14:58 +0100)
commit9f0eed34cd5defba04459a35da0d6d717bb22696
treeb0583d9634094585ba692565803e8e16f9710b93
parent191cab8dcf49ea0837da9eb138516e1ce7ffa7cf
exp_strm.adb (Build_Stream_Attr_Profile, [...]): Add the null-excluding attribute to the first formal.

2005-11-14  Javier Miranda  <miranda@adacore.com>

* exp_strm.adb (Build_Stream_Attr_Profile, Build_Stream_Function,
Build_Stream_Procedure): Add the null-excluding attribute to the first
formal.
This has no semantic meaning under Ada95 mode but it is a
requirement under Ada05 mode.

* par-ch3.adb (P_Access_Definition): Addition of warning message if
the null exclusion is used under Ada95 mode
(P_Null_Exclusion): The qualifier has no semantic meaning in Ada 95.
(P_Access_Definition): Remove assertion that forbids the use of
the null-exclusion feature in Ada95.

From-SVN: r106977
gcc/ada/exp_strm.adb
gcc/ada/par-ch3.adb