ILP32 gate examines TUs as they are AFTER the recipe, not as the recording call saw them
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start with the retained reproducer at /tmp/critic-astra-r6-plants/2-temporal-source/tools/ilp32_syntax_check.sh and trace the recording stand-in through examine_tus and compile_tu. Ensure each recorded call uses its own input-TU snapshot rather than the later sandbox contents, then verify the reproducer catches the first invocation's fault.
索引モデルが issue の本文から書いたものです。
説明
Stated residual from PR #1225 round 7 (item 10; Astra's rank 3 on head 1b5c64d).
examine_tus reads each translation unit from the sandbox after the whole recipe has finished, not from a snapshot taken at the call that recorded it. So a recipe that writes #error into a unit, compiles it, then overwrites that same path with valid C before a later call is examined on the later bytes and passes, while the real first invocation saw the fault.
Reproducer (Astra, retained): bash /tmp/critic-astra-r6-plants/2-temporal-source/tools/ilp32_syntax_check.sh — the standalone gate passes 24 TUs; the actual frontend rejects the first call. A full-runner escape was not claimed for this shape.
Closing it means the recording stand-in copies (or hashes and copies) each call's own input TUs into that call's record directory, and examine_tus/compile_tu read the snapshot rather than the live sandbox path. That is a recorder redesign, not a local edit, which is why round 7 stated it instead of rushing it after the flags work (#1232) needed two follow-up fixes of its own.
Same family as #1232: the gate's compilation context must be the recipe's context, in time as well as in flags.
Refs #1165 #1225 #1232.
- 主要言語
- C
- スター
- 3
- フォーク
- 7
- 平均マージ
- 11時間 16分
- マージ済み PR（30日）
- 267
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile または Docker Compose ファイルあり
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
InauguralSystems/EigenScript のほかの issue
-
area:ci area:runtime-vm bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
InauguralSystems/EigenScript#1859 ·
メンテナーはふだん 1 日以内に返信
-
phase2: test_bitwise.eigs cites ctl.scan.* rows; the MAP's refusal controls are ctl.N8.refuse-*オープンarea:gates kind:docs-drift
難易度 1/5 1時間未満 初心者へのやさしさ 86/100
InauguralSystems/EigenScript#1851 ·
メンテナーはふだん 1 日以内に返信
-
area:gates area:gfx found-by:critic kind:gate-defect
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
InauguralSystems/EigenScript#1825 ·
メンテナーはふだん 1 日以内に返信
-
Amalgamation compiles with warnings at -O0 (-Wreturn-type) and -O1 (-Wmaybe-uninitialized)対応中かも @facelessdevhack が 5 日前に担当しました。 オープンarea:embed bug found-by:code-review kind:gate-defect
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
InauguralSystems/EigenScript#1775 ·
メンテナーはふだん 1 日以内に返信
-
UB: (int) cast of a user double outside int range in dispatch / vm_index_is_int / flat_index_atオープンarea:runtime-vm kind:silent-wrong
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
InauguralSystems/EigenScript#1748 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
InauguralSystems/EigenScript の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 71/100
awslabs/aws-checksums#121 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
メンテナーはふだん 3 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
bug low priority rt_lib wasm
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
メンテナーはふだん 1 日以内に返信