gcc/testsuite/gnat.dg/sizetype1.adb

   1 -- { dg-do run }
   2
   3 with Interfaces.C; use Interfaces.C;
   4
   5 procedure Sizetype1 is
   6
   7    TC_String : String(1..8) := "abcdefgh";
   8    TC_No_nul : constant char_array := To_C(TC_String, False);
   9
  10 begin
  11    if TC_No_nul(0) /= To_C('a') then
  12       raise Program_Error;
  13    end if;
  14 end;