ubuntu-buildroot/output/build/host-gcc-initial-11.4.0/gcc/testsuite/gnat.dg/unchecked_convert6.adb

23 lines
409 B
Ada

-- { dg-do run { target hppa*-*-* sparc*-*-* powerpc-*-* powerpc64-*-* } }
with Unchecked_Conversion;
procedure Unchecked_Convert6 is
subtype c_5 is string(1..5);
function int2c5 is -- { dg-warning "different sizes" }
new unchecked_conversion (source => integer, target => c_5);
c5 : c_5;
begin
c5 := int2c5(16#12#);
if c5 (4) /= ASCII.DC2 then
raise Program_Error;
end if;
end;