ORCA-C/Tests/Spec.Conform/SPC4.4.1.1.CC

61 lines
1.9 KiB
Plaintext
Raw Normal View History

/* Special Conformance Test 4.4.1.1: Verification of ability to omit either */
/* type specifier or storage class in */
/* declarations, and both in function */
/* definitions */
/* */
/* Other files needed: spc4411.exec - separately compiles, links, and */
/* executes the files spc4.4.1.1.cc and */
/* spc4411.1.cc */
/* */
static x; /* type of x is int */
float y; /* storage class of y is extern */
static F1 (); /* non-prototyped form: returns int */
double G1 (); /* also non-prototyped form: storage */
/* class is extern */
main ()
{
x = 0x7f << 2; /* if type is not int, error would be */
if (x != 0x1FC) /* flagged */
goto Fail1;
y = 8.7;
y = G1 (x);
if (y != 508.0)
goto Fail2;
x = F1 (3, 4);
if (x != 7)
goto Fail;
printf ("Passed Special Conformance Test 4.4.1.1\n");
return;
Fail:
printf ("Failed Special Conformance Test 4.4.1.1\n");
return;
Fail1:
printf ("extern int x not set correctly: x = %d\n", x);
goto Fail;
Fail2:
printf ("extern double function G1 returns incorrect value: y = %f\n", y);
goto Fail;
Fail3:
printf ("static int function F1 returns incorrect value: x = %d\n", x);
goto Fail;
}
/******************************************************************************/
F1 (x, y)
int x;
int y;
{
return x + y;
}