blob: 972b47231e8f968b625310adc0f2aa392bda1a11 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }
package body Limited_With6 is
procedure Doit (Obj : Limited_With6_Pkg.T) is
begin
if Limited_With6_Pkg.Get_Expression_Support (Obj) > Sup_T'(100) then
raise Program_Error;
end if;
end Doit;
end Limited_With6;
|
