Relooper can exhaust the stack when processing large functions
维护者通常 5 天内回复
@arbelonson-source 已经在做这个了。
开始于 2026年9月15日。
评估
调研方向
Read the relooper implementation and trace how it processes sequential CFG nodes after a Simple block; the issue does not name a file or test path. Reproduce the stack overflow with the blake_256 test case, then verify that sequential nodes are processed without tail-recursive calls and the test completes without requiring a larger-stack thread.
由索引模型根据 Issue 内容生成。
描述
Our relooper implementation is tail-recursive, meaning that as we process nodes in the CFG we recursively call into relooper to process the subsequent nodes. In working on https://github.com/immunant/c2rust/pull/1827 I found that the threads used when running tests have a small enough stack size that we overflow the stack when trying to transpile the blake_256 test case. In that PR I work around it by spawning a thread with a larger stack, but that's not a robust solution. The proper fix here is to tweak relooper to use a loop when processing sequential nodes instead of tail-recursing after each Simple block. Should be straightforward to implement but I want to split it off of #1827 to avoid bloating that PR.
- 主要语言
- Rust
- 星标
- 4.8k
- 派生
- 318
- 平均合并
- 3 天 20 小时
- 30 天内合并 PR
- 7
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
immunant/c2rust 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 66/100
维护者通常 5 天内回复
-
难度 2/5 1-3 小时 新手友好度 62/100
维护者通常 5 天内回复
-
难度 2/5 1-3 小时 新手友好度 65/100
维护者通常 5 天内回复
-
难度 2/5 1-3 小时 新手友好度 75/100
immunant/c2rust#621 · 2 条评论 · 1 个 reaction ·
维护者通常 5 天内回复
-
难度 4/5 3-5 天 新手友好度 43/100
immunant/c2rust#2048 · 1 条评论 ·
维护者通常 5 天内回复
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 83/100
维护者通常 1 天内回复
-
priority middle
难度 1/5 1 小时以内 新手友好度 62/100
KATO-Hiro/AtCoderClans#12940 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 83/100
维护者通常 1 天内回复
-
o8 next debug build aborts on Glass to Dark appearance switch (nil identifier messaged before check)未关闭bug
难度 2/5 1-3 小时 新手友好度 78/100
hurttlocker/o8#5112 ·
-
难度 2/5 1-3 小时 新手友好度 79/100
维护者通常 1 天内回复