Repository navigation

Check reuse and report untracked reads inside rustc; findings 6 and 7 - #18

Merged

zmaril merged 25 commits into

mirth/scalefrom

mirth/verify-reuse

Oct 7, 2026

Commits on Oct 7, 2026
- A patch that checks reuse inside rustc, on in every fuzz and replay build
  
  zmaril
  and
  claude
  committed
  96aa75d
- Finding 6: reused object code keeps an edited file's old checksum and embedded source
  
  zmaril
  and
  claude
  committed
  09f3de0
- Finding 6 as an Ur query; the Cranelift backend has the same bug
  
  zmaril
  and
  claude
  committed
  522acf7
- Finding 6: a run-make test, failing on the pinned compiler
  
  zmaril
  and
  claude
  committed
  63ec798
- replay.py: --rustflags, for replaying with optimizations
  
  zmaril
  and
  claude
  committed
  7939a36
- Check reused codegen units; finding 7: asm warnings vanish on reuse
  
  zmaril
  and
  claude
  committed
  1d6fed6
- Finding 7: optimization remarks are dropped the same way
  
  zmaril
  and
  claude
  committed
  29854d0
- Untracked options that take values: none changes reused output
  
  zmaril
  and
  claude
  committed
  92c3288
- Flag and thread runs; a threads variant of the fixture
  
  zmaril
  and
  claude
  committed
  c03a794
- fuzz.py: --check, and a second clean build to tell nondeterminism (P5) from P6
  
  zmaril
  and
  claude
  committed
  904bc67
- shadow-mode.md: what the check reports in the runs
  
  zmaril
  and
  claude
  committed
  549eb24
- scale.md: the threads fixture
  
  zmaril
  and
  claude
  committed
  acb362f
- fuzz.py: --p5-builds
  
  zmaril
  and
  claude
  committed
  b2e8ce5
- fuzz-replay.py: keep the last builds' compiler output
  
  zmaril
  and
  claude
  committed
  7ae7deb
- Report untracked reads inside rustc; two more untracked options
  
  zmaril
  and
  claude
  committed
  83b42ab
- -Zfuture-incompat-test does change replayed output: a sixth untracked option
  
  zmaril
  and
  claude
  committed
  7e1d7fb
- untracked-reads.md: ten crates' reads
  
  zmaril
  and
  claude
  committed
  5f49099
- untracked-reads.md: what the fuzz runs add
  
  zmaril
  and
  claude
  committed
  4ed6a2d
- Report printing modes a query inherits and reads: none on sink or ten crates
  
  zmaril
  and
  claude
  committed
  b46f44d
- untracked-reads.md: only what was observed
  
  zmaril
  and
  claude
  committed
  ca1ba80
- Reuse check: RUSTC_VERIFY_REUSE=all checks every value; patches regenerated
  
  zmaril
  and
  claude
  committed
  2760c04
- Report reads of source text: a tiny class, spans and wording computed from text
  
  zmaril
  and
  claude
  committed
  93e4d81
- A testing workaround for #162202, so threaded fuzzing can find other things
  
  zmaril
  and
  claude
  committed
  65fcf18
- Finding 8: at -Zmir-opt-level=3 with debuginfo, a rebuild encodes an allocation twice
  
  zmaril
  and
  claude
  committed
  64d5f58
- Patches regenerated (sharing reports print the allocation); rustc/regen-patches.sh
  
  zmaril
  and
  claude
  committed
  cf7b264

Navigation Menu

Repository navigation

Check reuse and report untracked reads inside rustc; findings 6 and 7 - #18

Check reuse and report untracked reads inside rustc; findings 6 and 7#18
zmaril merged 25 commits into
mirth/scalefrom
mirth/verify-reuse

Commits on Oct 7, 2026

A patch that checks reuse inside rustc, on in every fuzz and replay build

Finding 6: reused object code keeps an edited file's old checksum and embedded source

Finding 6 as an Ur query; the Cranelift backend has the same bug

Finding 6: a run-make test, failing on the pinned compiler

replay.py: --rustflags, for replaying with optimizations

Check reused codegen units; finding 7: asm warnings vanish on reuse

Finding 7: optimization remarks are dropped the same way

Untracked options that take values: none changes reused output

Flag and thread runs; a threads variant of the fixture

fuzz.py: --check, and a second clean build to tell nondeterminism (P5) from P6

shadow-mode.md: what the check reports in the runs

scale.md: the threads fixture

fuzz.py: --p5-builds

fuzz-replay.py: keep the last builds' compiler output

Report untracked reads inside rustc; two more untracked options

-Zfuture-incompat-test does change replayed output: a sixth untracked option

untracked-reads.md: ten crates' reads

untracked-reads.md: what the fuzz runs add

Report printing modes a query inherits and reads: none on sink or ten crates

untracked-reads.md: only what was observed

Reuse check: RUSTC_VERIFY_REUSE=all checks every value; patches regenerated

Report reads of source text: a tiny class, spans and wording computed from text

A testing workaround for #162202, so threaded fuzzing can find other things

Finding 8: at -Zmir-opt-level=3 with debuginfo, a rebuild encodes an allocation twice

Patches regenerated (sharing reports print the allocation); rustc/regen-patches.sh