ILP32 gate examines TUs as they are AFTER the recipe, not as the recording call saw them
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 38/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- C
- Estrellas
- 3
- Forks
- 7
- Merge medio
- 4 h 5 min
- PR fusionados (30 d)
- 116
Preparar el entorno
Inicia el contenedor de desarrollo del proyecto en tu navegador, con tu propia cuenta de GitHub.
- Incluye un Dockerfile o un archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de InauguralSystems/EigenScript
-
area:docs good first issue kind:docs-drift
Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100
InauguralSystems/EigenScript#1400 ·
Los mantenedores suelen responder en 1 día
-
area:docs good first issue kind:docs-drift
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
InauguralSystems/EigenScript#1396 ·
Los mantenedores suelen responder en 1 día
-
docs/BUILTINS.md: task_spawn row says task_yield/task_join 'land in a later increment'; both existAbiertoarea:docs good first issue kind:docs-drift
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
InauguralSystems/EigenScript#1392 ·
Los mantenedores suelen responder en 1 día
-
area:embed kind:silent-wrong
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
InauguralSystems/EigenScript#1387 ·
Los mantenedores suelen responder en 1 día
-
area:stdlib kind:silent-wrong
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
InauguralSystems/EigenScript#1378 ·
Los mantenedores suelen responder en 1 día
Todos los issues de InauguralSystems/EigenScript
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
python-pillow/Pillow#10087 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
OpenPrinting/cups#1729 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
awslabs/amazon-kinesis-video-streams-webrtc-sdk-c#2406 ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
DaveGamble/cJSON#1094 ·
-
status:needs-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
PX4/PX4-Autopilot#28923 ·
Los mantenedores suelen responder en 1 día