From eaad9c34403f05372c1544d7ef522c847dfea0ba Mon Sep 17 00:00:00 2001 From: _ov4 Date: Thu, 22 Oct 2026 13:23:04 +0000 Subject: test(extern): check variadic promotions with va_arg Co-Authored-By: Claude Opus 5.5 --- tests/i/extern-c-variadic/program.cps | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/i/extern-c-variadic/program.cps (limited to 'tests/i/extern-c-variadic/program.cps') diff --git a/tests/i/extern-c-variadic/program.cps b/tests/i/extern-c-variadic/program.cps new file mode 100644 index 0000000..2f2ea43 --- /dev/null +++ b/tests/i/extern-c-variadic/program.cps @@ -0,0 +1,11 @@ +// Variadic EXTERN arguments arrive with C default promotions applied. +INCLUDE_OBJ "lib.o" +TYPE UChar = C_TYPE("unsigned char") +TYPE CShort = C_TYPE("short") +TYPE UShort = C_TYPE("unsigned short") +TYPE CBool = C_TYPE("_Bool") +TYPE CFloat = C_TYPE("float") +EXTERN "C" EXTERN_FUNCTION sum_ints(C_INT, ...) RETURNS C_INT +EXTERN "C" EXTERN_FUNCTION sum_doubles(C_INT, ...) RETURNS C_DOUBLE +OUTPUT sum_ints((C_INT)5, (UChar)200, (CShort)-7, (UShort)65535, (CBool)TRUE, (C_CHAR)'A') +OUTPUT sum_doubles((C_INT)2, (CFloat)1.5, (C_DOUBLE)2.25) -- cgit v1.3.1-4-g156e