diff --git a/App/lib/core/Gen/Call/CallGenMixin.vp b/App/lib/core/Gen/Call/CallGenMixin.vp
index e18faa6..83179a4 100644
--- a/App/lib/core/Gen/Call/CallGenMixin.vp
+++ b/App/lib/core/Gen/Call/CallGenMixin.vp
@@ -74,6 +74,17 @@ novirtual class CallGenMixin(CallGenBase.CallGenBase):
         cargs: list[ast.AST*]* = cl.args
         can: sizet = 0
         if cargs is not None: can = len(cargs)
+
+        # 调用点生命期检查（M2.3 v1b 步骤4）：被调者"会逃逸或直接返回"的形参位上，实参不得
+        # 交出本帧栈地址（&local / 局部数组退让）。此处拿不到被调者形参类型，故传一个哑指针
+        # 类型——只用于让 life_of_expr 判定"裸局部数组名处于指针位置 = 数组退让 = 栈地址"。
+        if cargs is not None and func_name is not None:
+            esc_mask: int = GenApi.get_param_escapes(func_name)
+            if esc_mask != 0:
+                _dummy_ptr: mlirlite.LLVMType* = mlirlite.Ptr(pool, mlirlite.Int8(pool))
+                for ai in range(can):
+                    if ((esc_mask >> int(ai)) & 1) != 0:
+                        GenApi.fail_if_stack_addr_escape(cargs.get(ai), "an argument bound to a parameter that the callee escapes or returns", trans, _dummy_ptr)
         # Generic function calls (PEP 695 def f[T]) are intercepted first: infer type args and
         # monomorphize here (templates emit no plain function); hit_box=1 means handled-with-void.
         h0_hit: t.CPtr = stdlib.malloc(4)