From 4c2c7ad06a1132900bf0994a5d8ce492e7f6ae3e Mon Sep 17 00:00:00 2001 From: zinc Date: Wed, 14 Oct 2026 18:43:45 +0330 Subject: todo: callee generation guard for direct o3 calls, region 474..692 and fib diagnosis; icon test with an o3 caller across find_replace --- tests/icon/regression/o3_caller_replace.expected | 1 + tests/icon/regression/o3_caller_replace.zc | 14 ++++++++++++++ 2 files changed, 15 insertions(+) create mode 100644 tests/icon/regression/o3_caller_replace.expected create mode 100644 tests/icon/regression/o3_caller_replace.zc (limited to 'tests') diff --git a/tests/icon/regression/o3_caller_replace.expected b/tests/icon/regression/o3_caller_replace.expected new file mode 100644 index 0000000..91aceec --- /dev/null +++ b/tests/icon/regression/o3_caller_replace.expected @@ -0,0 +1 @@ +21 1 24 diff --git a/tests/icon/regression/o3_caller_replace.zc b/tests/icon/regression/o3_caller_replace.zc new file mode 100644 index 0000000..e55cce2 --- /dev/null +++ b/tests/icon/regression/o3_caller_replace.zc @@ -0,0 +1,14 @@ +include rt; +include run; +include icon; +// an o3 caller must see a published replacement of its callee: a future direct +// o3-to-o3 call has to keep a callee generation guard, not bind the old entry. +o3 int target() { return 7; } +o3 int caller() { int s = 0; for (int i = 0; i < 3; i++) s += target(); return s; } +fn main() { + let seven = run.tokens("7"), eight = run.tokens("8"); + rt.put_n(caller()); rt.put_c(' '); + rt.put_n(icon.find_replace(target, seven, eight)); rt.put_c(' '); + rt.put_n(caller()); rt.put_c(10); + return 0; +} -- cgit v1.2.3