projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2f2854) | patch
[Ada] Accept objects from nested packages in Initializes contract
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 31 Oct 2019 12:38:17 +0000 (13:38 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 2 Jun 2020 08:58:10 +0000 (04:58 -0400)
commitea55d344b17b19b866cdc189268547d677959cb1
tree998ae7a931f6a7ad7d7ba4a73462c2e3a1270bb0tree
parentc2f285434dc5dff1a396cc3616959c7a2b80a750commit | diff
[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.
gcc/ada/sem_prag.adb diff | blob | history