From 4a70e44f06e637762eec0fd875eb94b84c3f4037 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Thu, 22 Oct 2026 13:27:15 +0000 Subject: feat(codegen): accept pointers to C-struct records in EXTERN signatures A TYPE record whose fields are all C types, C structs or pointer types to C structs now crosses the EXTERN "C" boundary through a pointer type. Records by value are rejected for now, and a pointer to a record with a non-C field names that field. Co-Authored-By: Claude Opus 5.5 --- tests/i/extern-c-struct/program.cps | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/i/extern-c-struct/program.cps (limited to 'tests/i/extern-c-struct/program.cps') diff --git a/tests/i/extern-c-struct/program.cps b/tests/i/extern-c-struct/program.cps new file mode 100644 index 0000000..1954d29 --- /dev/null +++ b/tests/i/extern-c-struct/program.cps @@ -0,0 +1,22 @@ +// Records whose fields are C types pass to C functions through pointer types. +INCLUDE_OBJ "lib.o" +TYPE Sample + DECLARE Tag : C_CHAR + DECLARE Value : C_DOUBLE + DECLARE Count : C_INT +ENDTYPE +TYPE PSample = ^Sample +EXTERN "C" EXTERN_PROCEDURE scale_sample(PSample, C_INT) +EXTERN "C" EXTERN_FUNCTION shared_sample() RETURNS PSample +EXTERN "C" EXTERN_FUNCTION shared_count() RETURNS C_INT +DECLARE S : Sample +DECLARE P : PSample +S.Tag <- (C_CHAR)'S' +S.Value <- (C_DOUBLE)1.5 +S.Count <- (C_INT)5 +CALL scale_sample(^S, (C_INT)3) +OUTPUT S.Tag, " ", S.Value, " ", S.Count +P <- shared_sample() +OUTPUT P^.Tag, " ", P^.Value, " ", P^.Count +P^.Count <- (C_INT)9 +OUTPUT shared_count() -- cgit v1.3.1-4-g156e