From 5eccd90b47b327917ad0e5858c79ca8fab27cd74 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Thu, 22 Oct 2026 13:51:44 +0000 Subject: feat(codegen): pass C-struct records by value as variadic arguments A variadic EXTERN call is now arranged by clang per call, from the fixed parameter count and the promoted argument types. C-struct records pass unchanged in variadic positions, as C11 6.5.2.2p6-7 and 7.16.1.1p2 allow; a record that is not a C struct names the offending field. Co-Authored-By: Claude Opus 5.5 --- tests/iii/extern-struct-rejected/program.cps | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'tests/iii/extern-struct-rejected/program.cps') diff --git a/tests/iii/extern-struct-rejected/program.cps b/tests/iii/extern-struct-rejected/program.cps index 8fd1fd9..ced6fee 100644 --- a/tests/iii/extern-struct-rejected/program.cps +++ b/tests/iii/extern-struct-rejected/program.cps @@ -8,4 +8,6 @@ TYPE PPerson = ^Person EXTERN "C" EXTERN_PROCEDURE puts(PPerson) EXTERN "C" EXTERN_FUNCTION abs(Person) RETURNS C_INT EXTERN "C" EXTERN_FUNCTION atoi(C_STRING) RETURNS Person -OUTPUT 1 +EXTERN "C" EXTERN_FUNCTION printf(C_STRING, ...) RETURNS C_INT +DECLARE Someone : Person +OUTPUT printf((C_STRING)"%d", Someone) -- cgit v1.3.1-4-g156e