gcc/testsuite/gnat.dg/loop_optimization13.ads

   1 with Ada.Numerics.Complex_Types; use Ada.Numerics.Complex_Types;
   2
   3 package Loop_Optimization13 is
   4
   5    type Complex_Vector is array (Integer range <>) of Complex;
   6    type Complex_Vector_Ptr is access Complex_Vector;
   7
   8    type Rec (Kind : Boolean := False) is record
   9       case Kind is
  10          when True => V : Complex_Vector_Ptr;
  11          when False => null;
  12       end case;
  13    end record;
  14
  15    function F (A : Rec) return Rec;
  16
  17 end Loop_Optimization13;