diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2005-03-29 18:21:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-03-29 18:21:32 +0200 |
| commit | 2813bb6b356e37af272d5ce279d0fdddc794e34f (patch) | |
| tree | d54b5ee5ac14be2f30051dc60ff8454a94566bcf /gcc/ada/g-spitbo.ads | |
| parent | 981234802e8314987fc1e9c6b9594462bb5aa0f4 (diff) | |
| download | gcc-2813bb6b356e37af272d5ce279d0fdddc794e34f.zip gcc-2813bb6b356e37af272d5ce279d0fdddc794e34f.tar.gz gcc-2813bb6b356e37af272d5ce279d0fdddc794e34f.tar.bz2 | |
sem_ch6.adb (Set_Formal_Mode): If the subtype has a non_null indicator, indicate that the formal can never be null.
2005-03-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Set_Formal_Mode): If the subtype has a non_null
indicator, indicate that the formal can never be null.
(Process_Formals): If a formal has a non_null indicator, insert the
resulting subtype immediately before the enclosing subprogram decl,
and not at the beginning of the corresponding declarative part, to
prevent access before elaboration (Ada2005).
From-SVN: r97185
Diffstat (limited to 'gcc/ada/g-spitbo.ads')
0 files changed, 0 insertions, 0 deletions