summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/oconst3.adb
blob: c9a94d4f491f63a709feccaa1037a60ed66708ff (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
-- { dg-do compile }
-- { dg-final { scan-assembler-not "elabs" } }

package body OCONST3 is

  procedure check (arg : R) is
  begin
    if arg.u /= 1
       or else arg.f /= one
       or else arg.b.i1 /= 3
    then
      raise Program_Error;
    end if;
  end;

end;