summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/aggr10.adb
blob: 6fbb8ed5d7a7f3a7b9db6528fb95ed0a894a80bb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
-- { dg-do compile }
-- { dg-options "-O2" }

with Aggr10_Pkg; use Aggr10_Pkg;

procedure Aggr10 is

   No_Name_Location : constant Name_Location :=
                        (Name     => Name_Id'First,
                         Location => Int'First,
                         Source   => Source_Id'First,
                         Except   => False,
                         Found    => False);

   Name_Loc : Name_Location;

begin
   Name_Loc := Get;
   if Name_Loc = No_Name_Location then  -- { dg-bogus "comparison always false" }
      raise Program_Error;
   end if;
   Set (Name_Loc);
end;