ORCA-C/Tests/Conformance/C3.5.1.2.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

87 lines
1.8 KiB
C++

/* Conformance Test 3.5.1.2: Verification of #if character constant expressions */
int printf(const char *, ...);
#define FIVE '5'
#define SIX '6'
#if '2' * '8'
#if '4' / '3'
#if 'A' - 'b'
#if '\r' + '\f'
#if ('p' == '\x70')
#if ('\001' != 0)
#define NUM1 ('2'*'8') | ('4'/'3') ^ ('A'-'b')\
& ('\r'+'\f')
#else
#define NUM1 5
#endif
#else
#define NUM1 4
#endif
#else
#define NUM1 3
#endif
#else
#define NUM1 2
#endif
#else
#define NUM1 1
#endif
#else
#define NUM1 0
#endif
#if ('6' < '7')
#if ('2' <= '2')
#if ('8' > '7')
#if ('0' >= '0')
#if (('\n') && ('\003'))
#if ((0) || ('d'))
#define NUM2 'z' % '0' << '\01' >> '\x2'
#else
#define NUM2 5
#endif
#else
#define NUM2 4
#endif
#else
#define NUM2 3
#endif
#else
#define NUM2 2
#endif
#else
#define NUM2 1
#endif
#else
#define NUM2 0
#endif
#if -('\x7f')
#if ~('\0')
#if !0
#define NUM3 NUM1 ? NUM2 : 187
#else
#define NUM3 2
#endif
#else
#define NUM3 1
#endif
#else
#define NUM3 0
#endif
#if (defined(FIVE)) && (defined(SIX)) && (NUM1 == 0xAF8) && (NUM2 == 13)\
&& (NUM3 == NUM2)
int main (void)
{
printf ("Passed Conformance Test 3.5.1.2\n");
}
#else
int main (void)
{
printf ("Failed Conformance Test 3.5.1.2\n");
}
#endif