1a8991ab27
16 fn/global examples across categories (0415/0602/0603/1024/1025/1605/1607-1609/ 1611/1616/1619/1622/1628/1635/1636): bare '#foreign'→'extern'. All cls=0 (no class forms). Marker'd ones (1605/1609/1611 + the rest) corpus-validated; the 3 unmarked uikit importers (1607/1608/1616) verified byte-identical via 'sx ir' probes. Empty snapshot diff; suite green (647 corpus / 444 unit, 0 failed). LEFT comment-only/provenance #foreign (0716/0729 + issues/0030-extern-global + extern-test files 1223-1231/1332/1348/1349/1426) and the keep-list (identity ffi-foreign-* + foreign-asserting diagnostics 1172/1174/1219/1228/1620) for Phase 8.
30 lines
1.1 KiB
Plaintext
30 lines
1.1 KiB
Plaintext
// PLAN-HTTPZ C2: the C->sx re-entry contract. A real OS thread enters
|
|
// sx through a `callconv(.c)` entry (which has NO implicit context),
|
|
// fabricates its own Context via `push Context.{ allocator = xx gpa }`,
|
|
// and calls default-conv sx code that allocates through it.
|
|
#import "modules/std.sx";
|
|
|
|
clib :: #library "c";
|
|
pthread_create :: (thread: *usize, attr: *void, start: (*void) -> *void callconv(.c), arg: *void) -> i32 extern clib;
|
|
pthread_join :: (thread: usize, retval: **void) -> i32 extern clib;
|
|
|
|
entry :: (arg: *void) -> *void callconv(.c) {
|
|
p : *i64 = xx arg;
|
|
gpa := GPA.init();
|
|
push Context.{ allocator = xx gpa } {
|
|
s := concat("th", "read"); // allocate through the thread's OWN context
|
|
if s.len == 6 { p.* = p.* * 2; }
|
|
}
|
|
return null;
|
|
}
|
|
|
|
main :: () -> i32 {
|
|
v : i64 = 21;
|
|
th : usize = 0;
|
|
if pthread_create(@th, null, entry, xx @v) != 0 { print("create failed\n"); return 1; }
|
|
pthread_join(th, null);
|
|
if v != 42 { print("wrong result: {}\n", v); return 1; }
|
|
print("pthread into sx ok: {}\n", v);
|
|
return 0;
|
|
}
|