ORCA-C/Tests/Conformance/C13.1.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

46 lines
914 B
C++

/* Conformance Test 13.1.0.1: Verification of standard library types and */
/* NULL */
#include <stddef.h>
int printf(const char *, ...);
extended e1 [800];
int main (void)
{
int i [10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
int *i1 = i;
int *i2 = &i [2];
long diff;
unsigned long size;
static ptrdiff_t TestPtrdiff_t (int *int1Ptr, int *int2Ptr);
diff = TestPtrdiff_t (i2, i1);
if (diff != 2)
goto Fail;
size = sizeof(e1);
if (size != 8000)
goto Fail;
if (NULL != 0)
goto Fail;
printf ("Passed Conformance Test 13.1.0.1\n");
return 0;
Fail:
printf ("Failed Conformance Test 13.1.0.1\n");
}
/*****************************************************************************/
static ptrdiff_t TestPtrdiff_t (int *int1Ptr, int *int2Ptr)
{
return int1Ptr - int2Ptr;
}