Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
sizetype1.adb
blob: e5d12c61e094b124f206aa6f6715e74fc29595d2 [
file
] [
log
] [
blame
]
--
{
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
;