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