mirror of
https://github.com/byteworksinc/ORCA-C.git
synced 2024-05-28 12:41:35 +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.
48 lines
1.2 KiB
C++
48 lines
1.2 KiB
C++
/* Conformance Test 15.1.0.1: Verification of strcat, strncat functions */
|
|
|
|
#include <string.h>
|
|
|
|
int printf(const char *, ...);
|
|
|
|
int main (void)
|
|
{
|
|
char s1 [80] = "this is the first string argument";
|
|
char s2 [80] = ", and this is the second string argument!";
|
|
char s3 [160] = "";
|
|
|
|
|
|
strcpy(s3, strcat (s1, s2));
|
|
if (strlen (s3) != 74)
|
|
goto Fail;
|
|
if (strcmp (s3, "this is the first string argument, and this is the \
|
|
second string argument!"))
|
|
goto Fail;
|
|
|
|
strcpy(s1, "this is the first string argument");
|
|
strcpy(s3, strncat (s1, s2, 17));
|
|
if (strlen (s3) != 50)
|
|
goto Fail;
|
|
if (strcmp (s3, "this is the first string argument, and this is the"))
|
|
goto Fail;
|
|
|
|
strcpy(s1, "this is the first string argument");
|
|
strcpy(s3, strncat (s1, s2, 50));
|
|
if (strlen (s3) != 74)
|
|
goto Fail;
|
|
if (strcmp (s3, "this is the first string argument, and this is the \
|
|
second string argument!"))
|
|
goto Fail;
|
|
|
|
strcpy(s1, "this is the first string argument");
|
|
strcpy(s1, strncat (s1, s2, -5));
|
|
if (strcmp (s1, "this is the first string argument"))
|
|
goto Fail;
|
|
|
|
|
|
printf ("Passed Conformance Test 15.1.0.1\n");
|
|
return 0;
|
|
|
|
Fail:
|
|
printf ("Failed Conformance Test 15.1.0.1\n");
|
|
}
|