mirror of
https://github.com/byteworksinc/ORCA-C.git
synced 2024-11-15 07:06:05 +00:00
91d33b586d
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.
59 lines
1.4 KiB
C++
59 lines
1.4 KiB
C++
/* */
|
|
/* Special Conformance Test 21.3.0.3: Verification of abort function */
|
|
/* */
|
|
/* The tester should verify that the program halts and that the {status} */
|
|
/* shell variable is set to -1 upon completion of the program. No messages */
|
|
/* should be printed by any of the functions registered with atexit. */
|
|
/* */
|
|
|
|
#include <stdlib.h>
|
|
|
|
int printf(const char *, ...);
|
|
|
|
|
|
/******************************************************************************/
|
|
|
|
void F1 ()
|
|
{
|
|
printf ("Return from function 1\n");
|
|
}
|
|
|
|
/******************************************************************************/
|
|
|
|
void F2 ()
|
|
{
|
|
printf ("Return from function 2\n");
|
|
}
|
|
|
|
/******************************************************************************/
|
|
|
|
void F3 ()
|
|
{
|
|
printf ("Return from function 3\n");
|
|
}
|
|
|
|
/******************************************************************************/
|
|
|
|
|
|
int main (void)
|
|
{
|
|
int i;
|
|
|
|
i = atexit (F3);
|
|
if (i != 0)
|
|
goto Fail;
|
|
|
|
i = atexit (F2);
|
|
if (i != 0)
|
|
goto Fail;
|
|
|
|
i = atexit (F1);
|
|
if (i != 0)
|
|
goto Fail;
|
|
|
|
abort ();
|
|
|
|
Fail:
|
|
printf ("Failure of atexit function in Special Conformance Test 21.3.0.3\n");
|
|
}
|