`delete` statement leaves its result on the stack

未关闭 适合新手
#92 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
2/5
预计耗时
1-3 小时
新手友好度
79/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
活跃
技术栈
rust
领域
compilers

调研方向

从链接行所在的 crates/rascal/src/internal/as2_pcode/pcode.rs 中的 Action::stack_delta 开始,然后追踪 codegen 如何为表达式语句使用差值和 truncate_stack。对照 issue 中的复现示例,检查将 delete 用作语句时生成的行为;循环分别访问 a 和 b 一次即完成。

由索引模型根据 Issue 内容生成。

描述

The result of a delete used as a statement is never popped. Inside a for..in loop, the leftover values get enumerated, so the loop doesn't end.

var o = {a: 1, b: 2};
var n = 0;
for (var k in o) {
    delete o.nothing;
    trace(k);
    if (++n == 5) {
        trace("too many iterations");
        break;
    }
}

Expected: a and b, once each.

Actual, in Flash Player (Rascal 0.3.6, SWF 8):

a
false
false
false
false
too many iterations

Assigning the result (var d = delete o.nothing;) works around it.

The cause seems to be the stack deltas in Action::stack_delta:

https://github.com/Dinnerbone/Rascal/blob/3f1a80c85dcc657cf4a67b72754b9c7869a6d9c5/crates/rascal/src/internal/as2_pcode/pcode.rs#L268-L269

Both actions push a boolean result, so these should be -1 (pops an object and a name) and 0 (pops a name). The codegen then believes the stack is already balanced, and truncate_stack emits no Pop for the expression statement.

主要语言
Rust
星标
22
派生
2
PR 合并指标
30 天内没有已合并 PR

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南,环境需要你自己搭建:先看它的 README,通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

Dinnerbone/Rascal 的其他 Issue

查看 Dinnerbone/Rascal 的全部 Issue

相似的 Issue

更多 Rust Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。