blob: 6d5a5dd552ca059c0a6bffc0d39cc48085513358 (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
-- Copyright 2008-2017 Free Software Foundation, Inc.
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 3 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <http://www.gnu.org/licenses/>.
with Pck; use Pck;
package body Homonym is
type Integer_Range is new Integer range -100 .. 100;
type Positive_Range is new Positive range 1 .. 19740804;
---------------
-- Get_Value --
---------------
function Get_Value return Integer_Range
is
subtype Local_Type is Integer_Range;
subtype Local_Type_Subtype is Local_Type;
subtype Int_Type is Integer_Range;
Lcl : Local_Type := 29;
Some_Local_Type_Subtype : Local_Type_Subtype := Lcl;
I : Int_Type := 1;
begin
Do_Nothing (Some_Local_Type_Subtype'Address);
Do_Nothing (I'Address);
return Lcl; -- BREAK_1
end Get_Value;
---------------
-- Get_Value --
---------------
function Get_Value return Positive_Range
is
subtype Local_Type is Positive_Range;
subtype Local_Type_Subtype is Local_Type;
subtype Pos_Type is Positive_Range;
Lcl : Local_Type := 17;
Some_Local_Type_Subtype : Local_Type_Subtype := Lcl;
P : Pos_Type := 2;
begin
Do_Nothing (Some_Local_Type_Subtype'Address);
Do_Nothing (P'Address);
return Lcl; -- BREAK_2
end Get_Value;
----------------
-- Start_Test --
----------------
procedure Start_Test is
Int : Integer_Range;
Pos : Positive_Range;
begin
Int := Get_Value;
Pos := Get_Value;
end Start_Test;
end Homonym;
|
GitWeb
