24 lines
593 B
Ada
24 lines
593 B
Ada
-- { 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;
|