Sign in
android
/
toolchain
/
gcc
/
donut
/
.
/
gcc-4.3.1
/
gcc
/
testsuite
/
gnat.dg
/
sizetype.adb
blob: acc2d6560bd97e88b71b6b8860cdd95c8e8646f7 [
file
] [
log
] [
blame
]
--
{
dg
-
do
run
}
with
Interfaces
.
C
;
use
Interfaces
.
C
;
procedure
Sizetype
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
;