gcc-4.9/gcc/testsuite/gnat.dg/unchecked_convert9.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

with System;
with Ada.Unchecked_Conversion;
with Interfaces; use Interfaces;

package Unchecked_Convert9 is

   type R is record
     H : Unsigned_16;
     L : Unsigned_16;
   end record;

   Var : R;
   pragma Volatile (Var);

   function Conv is new
     Ada.Unchecked_Conversion (Source => Unsigned_32, Target => R);

   procedure Proc;

end Unchecked_Convert9;