mirror of
https://github.com/byteworksinc/ORCA-C.git
synced 2024-05-28 12:41:35 +00:00
91d33b586d
The main changes made to most tests are:
*Declarations always include explicit types, not relying on implicit int. The declaration of main in most test programs is changed to be "int main (void) {...}", adding an explicit return type and a prototype. (There are still some non-prototyped functions, though.)
*Functions are always declared before use, either by including a header or by providing a declaration for the specific function. The latter approach is usually used for printf, to avoid requiring ORCA/C to process stdio.h when compiling every test case (which might make test runs noticeably slower).
*Make all return statements in non-void functions (e.g. main) return a value.
*Avoid some instances of undefined behavior and type errors in printf and scanf calls.
Several miscellaneous bugs are also fixed.
There are still a couple test cases that intentionally rely on the C89 behavior, to ensure it still works.
70 lines
2.0 KiB
C++
70 lines
2.0 KiB
C++
/* Special Conformance Test 17.3.0.1: Verification of buffering facility */
|
|
/* setvbuf. */
|
|
/* */
|
|
/* Tester needs to verify that the file 3/tmp is created and contains the */
|
|
/* following characters: ASCII $20 through $6E, plus ~ and } */
|
|
|
|
#include <stdio.h>
|
|
|
|
int main (void)
|
|
{
|
|
FILE *f1; /* file pointer */
|
|
char buf [80]; /* buffer */
|
|
int i, j;
|
|
|
|
|
|
f1 = fopen ("3/tmp", "w"); /* create file to work on */
|
|
if (f1 == NULL)
|
|
goto Fail1;
|
|
i = setvbuf (f1, buf, _IOFBF, 80); /* allocate write buffer for file */
|
|
if (i)
|
|
goto Fail2;
|
|
for (i = 0; i < 79; i++) /* write 79 charaters to the file */
|
|
{
|
|
j = fputc ( (char) (i + 0x20), f1);
|
|
if (j == EOF)
|
|
goto Fail3;
|
|
}
|
|
|
|
for (j = 0x20, i = 0; i < 79; i++) /* check buffer contents */
|
|
if (buf [i] != j++)
|
|
goto Fail;
|
|
|
|
j = fputc ('~', f1); /* 2 more chars should cause*/
|
|
if (j == EOF) /* buffer to be flushed */
|
|
goto Fail3;
|
|
j = fputc ('}', f1);
|
|
if (j == EOF)
|
|
goto Fail3;
|
|
if (buf [0] != '}')
|
|
goto Fail;
|
|
|
|
i = fclose (f1); /* close the file and quit */
|
|
if (i == EOF)
|
|
goto Fail4;
|
|
|
|
printf ("Passed Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
Fail:
|
|
printf ("Failed Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
Fail1:
|
|
printf ("Could not open tmp file for Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
Fail2:
|
|
printf ("Could not allocate buffer for Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
Fail3:
|
|
printf ("Could not write to file for Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
Fail4:
|
|
printf ("Could not close file for Special Conformance Test 17.3.0.1\n");
|
|
return 0;
|
|
|
|
}
|