PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / limited_with5.adb
blobc3bf270b35e742f5e5a36dc306b4b9dd93e0e75d
1 -- { dg-do compile }
2 -- { dg-options "-O -gnatn -Winline" }
4 package body Limited_With5 is
5 procedure Doit (Obj : Limited_With5_Pkg.T) is
6 begin
7 if Limited_With5_Pkg.Get_Expression_Support (Obj) > Sup_T'(100) then
8 raise Program_Error;
9 end if;
10 end Doit;
11 end Limited_With5;