[1294] 将相互递归宏崩溃用例 crash_pattern_c 纳入 1294_3.tex 与 1294.py

Author: da-liii

1294.py

@@ -5,10 +5,11 @@
 支持用例:
   - 1294_1.tex: 无参自递归宏 (用例 249)
   - 1294_2.tex: 带参自递归宏 (用例 289)
+  - 1294_3.tex: 相互递归宏 (crash_pattern_c)
 
 启动命令: xmake r stem -d
 用法:
-  python3 1294.py               # 默认依序测试 1294_1.tex 和 1294_2.tex
+  python3 1294.py               # 默认依序测试 1294_1.tex, 1294_2.tex, 1294_3.tex
   python3 1294.py [path/to.tex] # 测试指定文件
 """
 
@@ -24,7 +25,12 @@
 from pynput.keyboard import Controller as Kbd, Key
 from pynput.mouse import Controller as Mouse, Button
 
-HERE = os.path.dirname(os.path.abspath(__file__))
+# 定位工程根目录
+_cur = os.path.dirname(os.path.abspath(__file__))
+while _cur and _cur != "/" and not os.path.isdir(os.path.join(_cur, "TeXmacs")):
+    _cur = os.path.dirname(_cur)
+ROOT_DIR = _cur if _cur else os.path.dirname(os.path.abspath(__file__))
+HERE = ROOT_DIR
 
 # 4K (3840x2312) 实测坐标
 POS_DOC = (960, 900)
@@ -38,8 +44,9 @@
 ]
 
 DEFAULT_CASES = [
-    os.path.join(HERE, "TeXmacs", "tests", "tex", "1294_1.tex"),
-    os.path.join(HERE, "TeXmacs", "tests", "tex", "1294_2.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_1.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_2.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_3.tex"),
 ]
 
 

TeXmacs/tests/python/1294.py

@@ -5,10 +5,11 @@
 支持用例:
   - 1294_1.tex: 无参自递归宏 (用例 249)
   - 1294_2.tex: 带参自递归宏 (用例 289)
+  - 1294_3.tex: 相互递归宏 (crash_pattern_c)
 
 启动命令: xmake r stem -d
 用法:
-  python3 1294.py               # 默认依序测试 1294_1.tex 和 1294_2.tex
+  python3 1294.py               # 默认依序测试 1294_1.tex, 1294_2.tex, 1294_3.tex
   python3 1294.py [path/to.tex] # 测试指定文件
 """
 
@@ -24,7 +25,12 @@
 from pynput.keyboard import Controller as Kbd, Key
 from pynput.mouse import Controller as Mouse, Button
 
-HERE = os.path.dirname(os.path.abspath(__file__))
+# 定位工程根目录
+_cur = os.path.dirname(os.path.abspath(__file__))
+while _cur and _cur != "/" and not os.path.isdir(os.path.join(_cur, "TeXmacs")):
+    _cur = os.path.dirname(_cur)
+ROOT_DIR = _cur if _cur else os.path.dirname(os.path.abspath(__file__))
+HERE = ROOT_DIR
 
 # 4K (3840x2312) 实测坐标
 POS_DOC = (960, 900)
@@ -38,8 +44,9 @@
 ]
 
 DEFAULT_CASES = [
-    os.path.join(HERE, "TeXmacs", "tests", "tex", "1294_1.tex"),
-    os.path.join(HERE, "TeXmacs", "tests", "tex", "1294_2.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_1.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_2.tex"),
+    os.path.join(ROOT_DIR, "TeXmacs", "tests", "tex", "1294_3.tex"),
 ]
 
 

TeXmacs/tests/tex/1294_3.tex

@@ -0,0 +1,3 @@
+\newcommand{\macroA}{\macroB}
+\newcommand{\macroB}{\macroA}
+\macroA

devel/1294.md

@@ -13,7 +13,7 @@
 
 ## What
 
-- 新增 C++ 回归测试 `tests/Plugins/Tex/parsetex_test.cpp`（包含用例 249 与 289）。
+- 新增 C++ 回归测试 `tests/Plugins/Tex/parsetex_test.cpp`（包含用例 249、289 与 pattern_c）。
 - 新增自动化 GUI 回归测试脚本 `TeXmacs/tests/python/1294.py`（以及根目录 `1294.py`）。
 - 落实「排版引擎」+「LaTeX 转换」双层防御：
   1. 排版引擎层：`concater_rep::typeset_compound` 与 `typeset_auto` 增加宏展开深度限制，超限降级为占位 box，防止任何宏递归引起栈溢出崩溃。
@@ -56,9 +56,10 @@
 - `src/Typeset/Concat/concat_macro.cpp`
 - `src/Plugins/Tex/fromtex_post.cpp`
 - `src/Graphics/Fonts/find_font.cpp`
-- `tests/Plugins/Tex/parsetex_test.cpp`（回归测试，含 249 与 289 用例）
+- `tests/Plugins/Tex/parsetex_test.cpp`（回归测试，含 249、289 与 1294_3 用例）
 - `TeXmacs/tests/tex/1294_1.tex`（用例 249 样本）
 - `TeXmacs/tests/tex/1294_2.tex`（用例 289 样本）
+- `TeXmacs/tests/tex/1294_3.tex`（用例 crash_pattern_c 相互递归样本）
 - `TeXmacs/tests/python/1294.py`（自动化 GUI 粘贴回归测试脚本）
 - `1294.py`
 
@@ -72,7 +73,7 @@ xmake r 0631
 
 # 2. GUI 自动化测试
 python3 1294.py
-# 预期：1294_1.tex 和 1294_2.tex 均 PASS，进程不退出、无垃圾内容插入
+# 预期：1294_1.tex、1294_2.tex 和 1294_3.tex 均 PASS，进程不退出、无垃圾内容插入
 ```
 
 ### 手动测试方法

tests/Plugins/Tex/parsetex_test.cpp

@@ -31,6 +31,7 @@ private slots:
   void cleanupTestCase ();
   void test_crash_case_249 ();
   void test_crash_case_289 ();
+  void test_crash_case_1294_3 ();
 };
 
 void
@@ -78,5 +79,16 @@ TestParseTex::test_crash_case_289 () {
   QVERIFY (is_func (doc, moebius::DOCUMENT));
 }
 
+void
+TestParseTex::test_crash_case_1294_3 () {
+  // 相互递归宏定义用例 (crash_pattern_c)，复现代码 TeXmacs/tests/tex/1294_3.tex
+  string s;
+  QVERIFY2 (
+      !load_string (url_system ("$TEXMACS_PATH/tests/tex/1294_3.tex"), s, true),
+      "cannot load 1294_3.tex");
+  tree doc= latex_document_to_tree (s);
+  QVERIFY (is_func (doc, moebius::DOCUMENT));
+}
+
 QTEST_MAIN (TestParseTex)
 #include "parsetex_test.moc"