https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120430
--- Comment #1 from Liam Powell <liam at liampwll dot com> --- When a generic parameter of a package is used in a child package but not the parent package a bogus warning is generated. Example below: generic Foo : Integer; package A is end A; generic package A.B is function F return Integer is (Foo); end A.B; a.ads:2:04: warning: formal object "Foo" is not referenced [-gnatwu]