Add gcc.gnu.org account names to MAINTAINERS
[official-gcc.git] / gcc / testsuite / gnat.dg / oconst5.adb
blob4d4896aea585a0b8bb99cfa4e239f3be0462d5e2
1 -- { dg-do compile }
2 -- { dg-final { scan-assembler-not "elabs" } }
4 package body OCONST5 is
6 procedure Check (Arg : R; Bit : U1) is
7 begin
8 if Arg.Bit /= Bit
9 or else Arg.Agg.A /= 3
10 or else Arg.Agg.B /= 7
11 then
12 raise Program_Error;
13 end if;
14 end;
15 end;