blob: becee151d2ad88e925b85fe6d3f3f9ff32e92d25 (
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
33
34
35
|
-- { dg-do run }
procedure Float_Attributes_Overflows is
generic
type Float_Type is digits <>;
procedure Test_Float_Type;
procedure Test_Float_Type is
Biggest_Positive_float : Float_Type := Float_Type'Last;
Biggest_Negative_Float : Float_Type := Float_Type'First;
Float_Var : Float_Type;
begin
begin
Float_Var := Float_Type'succ (Biggest_Positive_Float);
raise Program_Error;
exception
when Constraint_Error => null;
end;
begin
Float_Var := Float_Type'pred (Biggest_Negative_Float);
raise Program_Error;
exception
when Constraint_Error => null;
end;
end Test_Float_Type;
procedure Test_Float is new Test_Float_Type (Float);
procedure Test_Long_Float is new Test_Float_Type (Long_Float);
begin
Test_Float;
Test_Long_Float;
end Float_Attributes_Overflows;
|
