gcc/testsuite/gnat.dg/opt59_pkg.adb

   1 package body Opt59_Pkg is
   2
   3   function Get_BV1 return Boolean_Vector is
   4   begin
   5     return (others => True);
   6   end;
   7
   8   function Get_BV2 return Boolean_Vector is
   9   begin
  10     return (others => False);
  11   end;
  12
  13   procedure Test (B : Boolean) is
  14   begin
  15     if not B then
  16       raise Program_Error;
  17     end if;
  18   end;
  19
  20 end Opt59_Pkg;