Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

ILP32 gate examines TUs as they are AFTER the recipe, not as the recording call saw them

Đã đóng
  • Có gì không ổn?
#1,257 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
5/5
Thời gian dự kiến
Hơn một tuần
Mức phù hợp với người mới
38/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
c
Lĩnh vực
compilers

Hướng nghiên cứu

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.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

area:gates found-by:critic kind:gate-defect

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.

Ngôn ngữ chính
C
Star
3
Fork
7
Merge trung bình
11 giờ 16 phút
Pull request đã merge (30 ngày)
267

Chuẩn bị môi trường

Mở trong Codespaces

Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của InauguralSystems/EigenScript

Tất cả issue của InauguralSystems/EigenScript

Issue tương tự

Thêm issue về C

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.