ORCA-C/Tests/Conformance/C7.6.3.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

57 lines
1.3 KiB
C++

/* Conformance Test 7.6.3.1: Verification of shift operators */
#include <stdio.h>
int main (void)
{
signed char ch = 0X57;
int i = 0xabcd;
short sh = 0x3214;
long L = 0xfedcab65;
unsigned char uch = 0x83;
unsigned int ui = 0xcbcb;
unsigned short ush = 0x1234;
unsigned long uL = 0x98765432;
/* Shift each integer left and check expected result. */
ch = ch << 1;
i = i << 2;
sh = sh << 3;
L = L << 4;
uch = uch << 6;
ui = ui << 7;
ush = ush << 8;
uL = uL << 9;
if ((ch != -82) || (i != -20684) || (sh != -28512) || (L != 0xedCAb650) ||
(uch != 0xc0) || (ui != 0xe580) || (ush != 0x3400)
|| (uL != 0xeca86400))
goto Fail;
/* Shift each integer right and check expected result. */
ch = ch >> 2;
i = i >> 3;
sh = sh >> 4;
L = L >> 5;
uch = uch >> 7;
ui = ui >> 8;
ush = ush >> 9;
uL = uL >> 10;
if ((ch != 0xFFEB) || (i != 0xF5e6) || (sh != 0xF90a) || (L != 0xff6e55b2) ||
(uch != 1) || (ui != 0xe5) || (ush != 0x1A)
|| (uL != 0x3B2A19))
goto Fail;
printf ("Passed Conformance Test 7.6.3.1\n");
return 0;
Fail:
printf ("Failed Conformance Test 7.6.3.1\n");
}