gcc-4.9/gcc/testsuite/gnat.dg/specs/lto12_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-- { dg-excess-errors "cannot generate code" }

package Lto12_Pkg is

  type R (Kind  : Boolean := False) is record
    case Kind is
      when True => I : Integer;
      when others => null;
    end case;
  end record;

  function F return R;

end Lto12_Pkg;