2 -- { dg-options "-O2" }
4 with Unchecked_Conversion;
6 procedure gnat_malloc is
8 type int1 is new integer;
9 type int2 is new integer;
10 type a1 is access int1;
11 type a2 is access int2;
13 function to_a2 is new Unchecked_Conversion (a1, a2);
16 v2 : a2 := to_a2 (v1);