aboutsummaryrefslogtreecommitdiff
path: root/tests/i/extern-libc/program.cps
diff options
context:
space:
mode:
author_ov4 <ov4@ov4.org>2026-10-17 15:12:01 +0000
committer_ov4 <ov4@ov4.org>2026-10-17 15:12:01 +0000
commitd4f28b089b2818d23df8543db3130ac760f37ad8 (patch)
tree6d4eb4c5787b255ec0c44c7874d81d0fa5a225f3 /tests/i/extern-libc/program.cps
parent1b8851d95c737cf8ebc92977bc96d4bb838568f6 (diff)
test(extern): cover C library calls and EXTERN diagnostics
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'tests/i/extern-libc/program.cps')
-rw-r--r--tests/i/extern-libc/program.cps18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/i/extern-libc/program.cps b/tests/i/extern-libc/program.cps
new file mode 100644
index 0000000..2204969
--- /dev/null
+++ b/tests/i/extern-libc/program.cps
@@ -0,0 +1,18 @@
+// C library calls through EXTERN, including variadic promotions.
+INCLUDE_OBJ "__libc"
+TYPE CFloat = C_TYPE("float")
+TYPE CShort = C_TYPE("short")
+EXTERN "C" EXTERN_FUNCTION printf(C_STRING, ...) RETURNS C_INT
+EXTERN "C" EXTERN_FUNCTION puts(C_STRING) RETURNS C_INT
+EXTERN "C" EXTERN_FUNCTION abs(C_INT) RETURNS C_INT
+EXTERN "C" EXTERN_FUNCTION sqrt(C_DOUBLE) RETURNS C_DOUBLE
+TYPE CUnsigned = C_TYPE("unsigned int")
+EXTERN "C" EXTERN_PROCEDURE srand(CUnsigned)
+CALL srand((CUnsigned)1)
+DECLARE Count : C_INT
+CALL puts((C_STRING)"hello")
+OUTPUT abs((C_INT)-5)
+OUTPUT sqrt((C_DOUBLE)16)
+Count <- printf((C_STRING)"%d %s %.1f %d|", (C_INT)42, (C_STRING)"x", (CFloat)1.5, (CShort)-7)
+OUTPUT ""
+OUTPUT Count