gcc/testsuite/gnat.dg/unchecked_convert5.adb

   1 -- { dg-do run { target hppa*-*-* sparc*-*-* powerpc*-*-* } }
   2
   3 with Unchecked_Conversion;
   4
   5 procedure Unchecked_Convert5 is
   6
   7   subtype c_1 is string(1..1);
   8
   9   function int2c1 is  -- { dg-warning "different sizes" }
  10     new unchecked_conversion (source => integer, target => c_1);
  11
  12   c1 : c_1;
  13
  14 begin
  15
  16   c1 := int2c1(16#12#);
  17
  18   if c1 (1) /= ASCII.Nul then
  19     raise Program_Error;
  20   end if;
  21
  22 end;