gcc-4.9/gcc/testsuite/gnat.dg/sizetype1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-- { dg-do run }

with Interfaces.C; use Interfaces.C;

procedure Sizetype1 is

   TC_String : String(1..8) := "abcdefgh";
   TC_No_nul : constant char_array := To_C(TC_String, False);
 
begin
   if TC_No_nul(0) /= To_C('a') then
      raise Program_Error;
   end if;
end;