Code

Extend the BorTag GC to AllocIds#3103

Code

Closed

saethlin wants to merge 14 commits intorust-lang:masterrust-lang/miri:masterfrom saethlin:allocid-gcsaethlin/miri:allocid-gcCopy head branch name to clipboard

+370-290

Commits

Commits on Nov 16, 2023

• Extend the BorTag GC to AllocIds

  saethlin

  committed
  6e29b7b

  Copy full SHA for 6e29b7b

• Patch up the now-unlucky test

  saethlin

  committed
  98acef8

  Copy full SHA for 98acef8

• Also GC base_ptr_tags

  saethlin

  committed
  e82e323

  Copy full SHA for e82e323

• Improve comment about initial reachable set

  Show description for 5cc1eb9
  

  saethlin

  and

  RalfJung

  committed
  5cc1eb9

  Copy full SHA for 5cc1eb9

• Clarify comment about miri_run_provenance_gc

  Show description for b220bdf
  

  saethlin

  and

  RalfJung

  committed
  b220bdf

  Copy full SHA for b220bdf

• Clear up VisitProvenance for intptrcast state

  saethlin

  committed
  18117c2

  Copy full SHA for 18117c2

• Double-check that we don't expose dead allocs

  saethlin

  committed
  f7124b9

  Copy full SHA for f7124b9

• Fix merge goof

  saethlin

  committed
  2fd4fb5

  Copy full SHA for 2fd4fb5

• Update src/intptrcast.rs

  Show description for 2eb618f
  

  saethlin

  and

  RalfJung

  committed
  2eb618f

  Copy full SHA for 2eb618f

• Update src/intptrcast.rs

  Show description for 3560ef2
  

  saethlin

  and

  RalfJung

  committed
  3560ef2

  Copy full SHA for 3560ef2

• Go through remove_unreachable_allocs

  saethlin

  committed
  db9b0ad

  Copy full SHA for db9b0ad

• Rearrange the check for dead allocs in expose_ptr

  saethlin

  committed
  2b236d8

  Copy full SHA for 2b236d8

• Use TyCtxt::iter_allocs

  saethlin

  committed
  68ec121

  Copy full SHA for 68ec121

• Check provenance mode first

  saethlin

  committed
  23b4af8

  Copy full SHA for 23b4af8