diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-10-31 13:38:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:10 -0400 |
| commit | ea55d344b17b19b866cdc189268547d677959cb1 (patch) | |
| tree | 998ae7a931f6a7ad7d7ba4a73462c2e3a1270bb0 /gcc/ada/cstreams.c | |
| parent | c2f285434dc5dff1a396cc3616959c7a2b80a750 (diff) | |
| download | gcc-ea55d344b17b19b866cdc189268547d677959cb1.zip gcc-ea55d344b17b19b866cdc189268547d677959cb1.tar.gz gcc-ea55d344b17b19b866cdc189268547d677959cb1.tar.bz2 | |
[Ada] Accept objects from nested packages in Initializes contract
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_prag.adb (Collect_States_And_Objects): Call itself on
declaration of nested packages; append abstract states
one-by-one, so that in recursive call we do not overwrite the
ones that have been already collected.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions