From daf79af1ccb81097cf924b2a94a03def661775bd Mon Sep 17 00:00:00 2001
From: TermiNexus <wyt18222152539wyt@163.com>
Date: Sat, 22 Aug 2026 05:17:03 +0800
Subject: [PATCH] =?UTF-8?q?fix(tpc):=20=E8=BF=94=E5=9B=9E=20fail-fast=20?=
 =?UTF-8?q?=E8=B1=81=E5=85=8D=20void=20=E8=81=94=E5=90=88=E6=B3=A8?=
 =?UTF-8?q?=E8=A7=A3=E4=B8=8E=20extern/export=20=E5=A3=B0=E6=98=8E?=
 =?UTF-8?q?=E5=9E=8B=E5=87=BD=E6=95=B0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- sprintf 误报：返回注解 t.CVoid | t.CExport（BinOp BitOr 联合）被旧判定忽略 -> 掉出末尾误报，且 [FATAL] 终止杀死 include worker -> BrokenProcessPool
- 修复：新增 _IsVoidOrDeclAnnotation 递归识别联合注解（注解中 | 表示 and）：void（None/t.CVoid）+ extern/export 声明型辅助符号（State/CExport/CExtern）均豁免
- 验证：t.CVoid|t.CExport / int|t.State / t.CVoid / None -> 豁免；裸 int -> 仍 fail-fast（missing_return 用例保持命中）
---
 lib/core/Handles/HandlesFunctions.py | 43 +++++++++++++++++++++++++---
 1 file changed, 39 insertions(+), 4 deletions(-)

diff --git a/lib/core/Handles/HandlesFunctions.py b/lib/core/Handles/HandlesFunctions.py
index 558fe12..d7bfc96 100644
--- a/lib/core/Handles/HandlesFunctions.py
+++ b/lib/core/Handles/HandlesFunctions.py
@@ -19,6 +19,42 @@ from lib.includes.t import CTypeRegistry
 _T_STORAGE_DECORATORS = frozenset({'CExport', 'CExtern', 'CStatic', 'State', 'CInline', 'TLS'})
 
 
+def _IsVoidOrDeclAnnotation(Annot: ast.AST) -> bool:
+    """判断函数返回注解是否为 void 或 extern/export 声明型辅助符号。
+
+    void：None / t.CVoid，含 `|` 联合形式（注解中 `|` 表示 and），
+    如 `-> t.CVoid | t.CExport`（sprintf 先例）→ 掉出末尾 ret void 合法。
+    声明型辅助符号：t.State（extern）/ t.CExport（export）/ t.CExtern——
+    此类函数返回注解被改写为 `<原类型> | 辅助符号` 且 body 为空（extern 声明），
+    掉出末尾是正常形态，必须豁免 fail-fast。
+    """
+    if isinstance(Annot, ast.Constant):
+        return Annot.value is None
+    if isinstance(Annot, ast.Attribute):
+        return getattr(Annot, 'attr', '') in ('CVoid', 'State', 'CExport', 'CExtern')
+    if isinstance(Annot, ast.BinOp) and isinstance(Annot.op, ast.BitOr):
+        return _IsVoidOrDeclAnnotation(Annot.left) or _IsVoidOrDeclAnnotation(Annot.right)
+    return False
+
+
+def _IsVoidOrDeclAnnotation(Annot: ast.AST) -> bool:
+    """判断函数返回注解是否为 void 或 extern/export 声明型辅助符号。
+
+    void：None / t.CVoid，含 `|` 联合形式（注解中 `|` 表示 and），
+    如 `-> t.CVoid | t.CExport`（sprintf 先例）→ 掉出末尾 ret void 合法。
+    声明型辅助符号：t.State（extern）/ t.CExport（export）/ t.CExtern——
+    此类函数返回注解被改写为 `<原类型> | 辅助符号` 且 body 为空（extern 声明），
+    掉出末尾是正常形态，必须豁免 fail-fast。
+    """
+    if isinstance(Annot, ast.Constant):
+        return Annot.value is None
+    if isinstance(Annot, ast.Attribute):
+        return getattr(Annot, 'attr', '') in ('CVoid', 'State', 'CExport', 'CExtern')
+    if isinstance(Annot, ast.BinOp) and isinstance(Annot.op, ast.BitOr):
+        return _IsVoidOrDeclAnnotation(Annot.left) or _IsVoidOrDeclAnnotation(Annot.right)
+    return False
+
+
 class FunctionHandle(BaseHandle):
     @staticmethod
     def _ExtractFuncMeta(decorator_list: list[ast.AST]) -> FuncMeta:
@@ -1852,10 +1888,9 @@ class FunctionHandle(BaseHandle):
             _is_ret_or_ctrl_tail: bool = isinstance(_last_stmt, (
                 ast.Return, ast.If, ast.Match, ast.While, ast.For, ast.Try, ast.With))
             if Node.returns is not None and not _is_ret_or_ctrl_tail:
-                _ret_annot_void: bool = (
-                    isinstance(Node.returns, ast.Constant) and Node.returns.value is None) or (
-                    isinstance(Node.returns, ast.Attribute) and getattr(Node.returns, 'attr', '') == 'CVoid')
-                if not _ret_annot_void:
+                # void（None / t.CVoid，含 | 联合）/ extern|export 声明型辅助符号
+                # （State / CExport / CExtern）→ 掉出合法，不 fail-fast
+                if not _IsVoidOrDeclAnnotation(Node.returns):
                     raise Exception(
                         f"函数 {Node.name} 声明了返回类型但函数体可能掉出末尾（缺少 return 语句）；"
                         f"普通语句掉出末尾 + 有返回注解属于定义缺陷，请补显式 return")