OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [range_check.adb] - Diff between revs 304 and 384

Only display areas with differences | Details | Blame | View Log

Rev 304 Rev 384
-- { dg-do run }
-- { dg-do run }
 
 
procedure range_check is
procedure range_check is
   function ident (x : integer) return integer is
   function ident (x : integer) return integer is
   begin
   begin
      return x;
      return x;
   end ident;
   end ident;
 
 
   guard1 : Integer;
   guard1 : Integer;
 
 
   r : array (1 .. ident (10)) of integer;
   r : array (1 .. ident (10)) of integer;
   pragma Suppress (Index_Check, r);
   pragma Suppress (Index_Check, r);
 
 
   guard2 : Integer;
   guard2 : Integer;
 
 
begin
begin
   guard1 := 0;
   guard1 := 0;
   guard2 := 0;
   guard2 := 0;
   r (11) := 3;
   r (11) := 3;
end;
end;
 
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.