Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Extend the BorTag GC to AllocIds #3103

Closed
wants to merge 14 commits into from
Closed

Extend the BorTag GC to AllocIds #3103

wants to merge 14 commits into from

Commits on Nov 16, 2023

  1. Extend the BorTag GC to AllocIds

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    6e29b7b View commit details
    Browse the repository at this point in the history

  2. Patch up the now-unlucky test

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    98acef8 View commit details
    Browse the repository at this point in the history

  3. Also GC base_ptr_tags

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    e82e323 View commit details
    Browse the repository at this point in the history

  4. Improve comment about initial reachable set 

    Co-authored-by: Ralf Jung <[email protected]>
    @saethlin @RalfJung
    saethlin and RalfJung committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    5cc1eb9 View commit details
    Browse the repository at this point in the history

  5. Clarify comment about miri_run_provenance_gc 

    Co-authored-by: Ralf Jung <[email protected]>
    @saethlin @RalfJung
    saethlin and RalfJung committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    b220bdf View commit details
    Browse the repository at this point in the history

  6. Clear up VisitProvenance for intptrcast state

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    18117c2 View commit details
    Browse the repository at this point in the history

  7. Double-check that we don't expose dead allocs

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    f7124b9 View commit details
    Browse the repository at this point in the history

  8. Fix merge goof

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2fd4fb5 View commit details
    Browse the repository at this point in the history

  9. Update src/intptrcast.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @saethlin @RalfJung
    saethlin and RalfJung committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2eb618f View commit details
    Browse the repository at this point in the history

  10. Update src/intptrcast.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @saethlin @RalfJung
    saethlin and RalfJung committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    3560ef2 View commit details
    Browse the repository at this point in the history

  11. Go through remove_unreachable_allocs

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    db9b0ad View commit details
    Browse the repository at this point in the history

  12. Rearrange the check for dead allocs in expose_ptr

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    2b236d8 View commit details
    Browse the repository at this point in the history

  13. Use TyCtxt::iter_allocs

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    68ec121 View commit details
    Browse the repository at this point in the history

  14. Check provenance mode first

    @saethlin
    saethlin committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    23b4af8 View commit details
    Browse the repository at this point in the history