gcc-4.8.3/gcc/testsuite/gnat.dg/discr26.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

-- { dg-do compile }
-- { dg-options "-gnatws" }

package body Discr26 is

  function F1 return My_T1 is
    R: My_T1;
  begin
    return R;
  end;

  procedure Proc is
  begin
    if F1.D = 0 then
      raise Program_Error;
    end if;
  end;

end Discr26;