ORCA-C/Tests/Conformance/C17.14.0.1.CC
Stephen Heumann 91d33b586d Fix various C99+ conformance issues and bugs in test cases.
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.
2022-10-17 20:17:24 -05:00

64 lines
1.2 KiB
C++

/* Conformance Test 17.14.0.1: Verification of ferror and clearerr */
#include <stdio.h>
struct S { int i;
float f;
char c; };
int main (void)
{
struct S s [3] = { 1, 1.0, 'a', 2, 2.0, 'b', 3, 3.0, 'c' };
struct S buff [3];
FILE *f = fopen ("3/tmp", "w+b");
int i;
/* Write the elements to the file. */
if (f == NULL)
goto Fail1;
i = fwrite ((void *) s, sizeof (struct S), 3, f);
if (i != 3)
goto Fail;
/* Cause an error to occur. */
rewind (f);
i = fread ((void *) buff, sizeof (struct S), 5, f);
if (i != 3)
goto Fail;
i = ferror (f);
if (i != 0)
goto Fail;
i = feof (f);
if (i == 0)
goto Fail;
/* clear the error */
clearerr (f);
i = feof (f);
if (i != 0)
goto Fail;
i = fclose (f); /* close the file and quit */
if (i == EOF)
goto Fail2;
printf ("Passed Conformance Test 17.14.0.1\n");
return 0;
Fail:
printf ("Failed Conformance Test 17.14.0.1\n");
return 0;
Fail1:
printf ("Unable to open temp file for Conformance Test 17.14.0.1\n");
return 0;
Fail2:
printf ("Unable to close output file for Conformance Test 17.14.0.1\n");
return 0;
}