gcc/testsuite/gnat.dg/opt5.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O2" }
   3
   4 procedure Opt5 is
   5
   6    type Varray is array (1 .. 4) of Natural;
   7
   8    procedure Check_All_Ones (A : Varray) is
   9    begin
  10       for J in A'Range loop
  11          if (A (J)) /= 1 then
  12             raise Program_Error;
  13          end if;
  14       end loop;
  15    end;
  16
  17    X : constant Varray := (1, 1, 1, 1);
  18
  19 begin
  20    Check_All_Ones (X);
  21 end;