gcc/testsuite/gnat.dg/renaming8_pkg1.ads

with Renaming8_Pkg2; use Renaming8_Pkg2;

package Renaming8_Pkg1 is

  B: Boolean renames F.E(1);

end Renaming8_Pkg1;