ORCA-C/Tests/Conformance/C9.5.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

61 lines
1.5 KiB
C++

/* Conformance Test 9.5.0.1: Verification of parameter passing conventions */
#include <stdio.h>
#include <math.h>
#include <string.h>
struct S { int i;
float f;
comp c [5]; };
union U { int i;
long L; };
/****************************************************************************/
void Func1 (int i, char ch [], float f, struct S s, union U u)
{
int j;
for (j = 0; j < i; j++) /* alter array's contents */
ch [j] = (char) (j + 0x41);
s.i = 22; /* this should not change struct's contents */
s.f = 8.0;
s.c [0] = s.c [1] = s.c [2] = s.c [3] = s.c [4] = 32767;
u.L = 2147483647l; /* this should not change unions's contents */
f = 9.9; /* this should not change float's contents */
}
/****************************************************************************/
int main (void)
{
char string [4] = "hey";
struct S s = { 1, 2.0, 1, 2, 3, 4, 5 };
union U u = { 9 };
float f = 0.5;
Func1 (3, string, f, s, u); /* call function to change only array */
if (strcmp (string, "ABC"))
goto Fail;
if ((s.i != 1) || (fabs(s.f - 2.0) > 0.00001) || (s.c [0] != 1) ||
(s.c [1] != 2) || (s.c [2] != 3) || (s.c [3] != 4) || (s.c [4] != 5))
goto Fail;
if ((u.i != 9) || (fabs(f - 0.5) > 0.00001))
goto Fail;
printf ("Passed Conformance Test 9.5.0.1\n");
return 0;
Fail:
printf ("Failed Conformance Test 9.5.0.1\n");
}