`delete` statement leaves its result on the stack

オープン 初心者向け
  • 何か問題がありますか？
#92 コメント 1 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
79/100
issue の種類
バグ
明瞭さ
明確に書かれている
活発さ
活発
技術スタック
rust
領域
compilers

調査の方向性

リンク先の行にある Action::stack_delta を crates/rascal/src/internal/as2_pcode/pcode.rs から確認し、次に codegen が式文に対して差分と truncate_stack をどのように使うかを追ってください。文として使われる delete の生成後の動作を、issue の再現例と照らして確認してください。ループが 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
30日以内にマージされた PR はありません

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

Dinnerbone/Rascal のほかの issue

Dinnerbone/Rascal の issue をすべて見る

似ている issue

Rust の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。