gcc/testsuite/gnat.dg/aggr10.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2" }
   3
   4 with Aggr10_Pkg; use Aggr10_Pkg;
   5
   6 procedure 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
  17 begin
  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);
  23 end;