gdb/testsuite/gdb.ada/homonym/homonym.adb

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