blob: 539edcaf4d4144b642f0a9980d4f9b294435993e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
-- { dg-do run }
with Modular3_Pkg; use Modular3_Pkg;
procedure Modular3 is
function F1 (A : Int16_T) return Int16_T is
begin
return A + 128;
end;
function F2 (B : Mod16_T) return Mod16_T is
begin
return B + 128;
end;
A : Int16_T := 16384;
B : Mod16_T := 65504;
begin
A := F1 (A);
if A /= 16512 then
raise Program_Error;
end if;
B := F2 (B);
if B /= 96 then
raise Program_Error;
end if;
end Modular3;
|
