]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Warn on unset objects in packages with no bodies
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 21 Jun 2022 08:17:57 +0000 (10:17 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 12 Jul 2022 12:24:12 +0000 (12:24 +0000)
commita8d17a88a52d2f773423adb55399d23ed5ea03c8
treefed1c2e45aaac773f78b64dc10bec2c7ce87e4bc
parenta54ad45a63182bf6d1873ed55d641769638e4c8f
[Ada] Warn on unset objects in packages with no bodies

Fix an inconsistency, where GNAT was warning about references to unset
objects inside generic packages with no bodies but not inside ordinary
packages with no bodies.

gcc/ada/

* sem_ch7.adb (Analyze_Package_Declaration): Check references to
unset objects.

gcc/testsuite/

* gnat.dg/specs/discr5.ads: Expect new warnings.
* gnat.dg/specs/empty_variants.ads: Likewise.
* gnat.dg/specs/pack13.ads: Likewise.
gcc/ada/sem_ch7.adb
gcc/testsuite/gnat.dg/specs/discr5.ads
gcc/testsuite/gnat.dg/specs/empty_variants.ads
gcc/testsuite/gnat.dg/specs/pack13.ads