|
Packit Service |
8bf002 |
/* l_37_7.c: Translation limits larger than Standard / 7. */
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
#include "defs.h"
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
main( void)
|
|
Packit Service |
8bf002 |
{
|
|
Packit Service |
8bf002 |
/* 37.7L: Characters in a string (after concatenation). */
|
|
Packit Service |
8bf002 |
/* 8191 bytes long. */
|
|
Packit Service |
8bf002 |
char *string8189 =
|
|
Packit Service |
8bf002 |
"123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
A123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
B123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
C123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
D123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
E123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
F123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
G123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
1123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
2123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
3123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
4123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
5123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
6123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
7123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
8123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
9123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
a123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
b123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
c123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
d123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
e123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef\
|
|
Packit Service |
8bf002 |
f123456789abcdef0123456789abcdef0123456789abcdef0123456789abcd"
|
|
Packit Service |
8bf002 |
;
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
fputs( "started\n", stderr);
|
|
Packit Service |
8bf002 |
assert( strlen( string8189) == 8189);
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
fputs( "success\n", stderr);
|
|
Packit Service |
8bf002 |
return 0;
|
|
Packit Service |
8bf002 |
}
|
|
Packit Service |
8bf002 |
|