[Bug ada/64869] New: "use all type" clause is ineffective

["demoonlit at panathenaia dot halfmoon.jp" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64869

            Bug ID: 64869
           Summary: "use all type" clause is ineffective
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: demoonlit at panathenaia dot halfmoon.jp

"use all type" clauses for nested packages from an outer subprogram are
ineffective.

procedure case1 is
   package P is
      type T is (X, Y, Z);
      procedure Proc (Obj : T) is null;
   end P;
-- procedure Nested is
--    use all type P.T; -- effective in nested subprogram
--    Obj : P.T := X;
-- begin
--    Proc (Obj); -- visible
-- end Nested;
   use all type P.T;
   Obj : P.T := X; -- invisible
begin
   Proc (Obj); -- invisible
end case1;

% gcc -c case1.adb 
case1.adb:2:09: missing body for "P"
case1.adb:13:22: "X" is not visible
case1.adb:13:22: non-visible declaration at line 3
case1.adb:15:09: "Proc" is not visible
case1.adb:15:09: non-visible declaration at line 4

with Ada.Containers.Vectors;
procedure case2 is
   package Vectors is new Ada.Containers.Vectors (Positive, Character);
-- procedure Nested is
--    use all type Vectors.Vector; -- effective in nested subprogram
--    X : Vectors.Vector := To_Vector (0); -- visible
-- begin
--    Append (X, 'A'); -- visible
-- end Nested;
   use all type Vectors.Vector;
   X : Vectors.Vector := To_Vector (0); -- visible
begin
   Append (X, 'A'); -- invisible
end case2;

% gcc -c case2.adb
case2.adb:13:09: "Append" is not visible
case2.adb:13:09: non-visible declaration at a-convec.ads:243, instance at line
3
case2.adb:13:09: non-visible declaration at a-convec.ads:239, instance at line
3

Note, "use all type" clauses from nested sibling subprograms (commented out
subprograms "Nested" in above examples) are effective, and, strangely, above
examples will become to be compiled with the subprograms "Nested" (??)