1-- { dg-do compile }
2-- { dg-options "-O2" }
3
4with Aggr10_Pkg; use Aggr10_Pkg;
5
6procedure Aggr10 is
7
8   No_Name_Location : constant Name_Location :=
9                        (Name     => Name_Id'First,
10                         Location => Int'First,
11                         Source   => Source_Id'First,
12                         Except   => False,
13                         Found    => False);
14
15   Name_Loc : Name_Location;
16
17begin
18   Name_Loc := Get;
19   if Name_Loc = No_Name_Location then  -- { dg-bogus "comparison always false" }
20      raise Program_Error;
21   end if;
22   Set (Name_Loc);
23end;
24