Subversion Repositories openrisc

-- { dg-do run }
-- { dg-options "-gnatp" }
 
procedure Hyper_Flat is
 
   type Unsigned is mod 2 ** 32;
   x : Integer := 0;
   pragma Volatile (X);
 
   S : constant String := (1 .. X - 3 => 'A');
   --  Hyper-flat null string
 
begin
   if Unsigned'(S'Length) /= 0 then
      raise Program_Error;
   end if;
end;