1with Ada.Numerics.Complex_Types; use Ada.Numerics.Complex_Types; 2 3package 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 17end Loop_Optimization13; 18