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

package body OCONST5 is

   procedure Check (Arg : R; Bit : U1) is
   begin
      if Arg.Bit /= Bit
        or else Arg.Agg.A /= 3
        or else Arg.Agg.B /= 7
      then
         raise Program_Error;
      end if;
   end;
end;