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.

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

Miri sync #102573

Merged
merged 44 commits into from
Oct 6, 2022
Merged

Miri sync #102573

merged 44 commits into from
Oct 6, 2022

Commits on Sep 21, 2022

  1. readme: tag-gc tweaks

    RalfJung committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    bef2bd8 View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#2558 - RalfJung:tag-gc, r=saethlin

    readme: tag-gc tweaks
    
    r? `@saethlin`
    
    Is this option truly needed often enough that it should be in the 'common' section? If not I vote for moving it to the 2nd section. Also `10,000` is a confusing way to write numbers in an international context (in many languages, `,` in a number plays the role of the point in English number notation, so using a space or underscore is less likely to lead to confusion).
    bors committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    6671f83 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    45d7121 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. Configuration menu
    Copy the full SHA
    5f498ca View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2022

  1. Configuration menu
    Copy the full SHA
    38f4338 View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#2559 - RalfJung:gc-refactor, r=saethlin

    GC: factor out visiting all machine values
    
    `@saethlin` that is roughly what I had in mind.
    
    I think some parts of the state are skipped by the visitor. I listed the ones that I found in FIXMEs but I am not sure if that list is complete.
    bors committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    0d5748e View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    14fc9b2 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2022

  1. Configuration menu
    Copy the full SHA
    2b3d760 View commit details
    Browse the repository at this point in the history
  2. Auto merge of rust-lang#2563 - RalfJung:nodep, r=RalfJung

    run all extern-so tests consistently without dependencies
    bors committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    6872a70 View commit details
    Browse the repository at this point in the history
  3. Auto merge of rust-lang#2537 - saethlin:dont-back-up-too-far, r=RalfJung

    Don't back up past the caller when looking for an FnEntry span
    
    Fixes rust-lang/miri#2536
    
    This adds a fix for the logic as well as a regression test. In the new test `tests/fail/stacked_borrows/fnentry_invalidation2.rs`, before this PR, we display this diagnostic:
    ```
    help: <3278> was later invalidated at offsets [0x0..0xc] by a Unique FnEntry retag
      --> tests/fail/stacked_borrows/fnentry_invalidation2.rs:13:5
       |
    13 |     inner(&mut t);
       |     ^^^^^^^^^^^^^
    ```
    Which is very misleading. It is not this call itself, but what happens within the call that invalidates the tag we want. With this PR, we get:
    ```
    help: <2798> was later invalidated at offsets [0x0..0xc] by a Unique FnEntry retag inside this call
      --> tests/fail/stacked_borrows/fnentry_invalidation2.rs:20:13
       |
    20 |     let _ = t.sli.as_mut_ptr();
       |             ^^^^^^^^^^^^^^^^^^
    ```
    Which is much better.
    bors committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    c217e07 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6f6a2df View commit details
    Browse the repository at this point in the history
  5. Auto merge of rust-lang#2565 - RalfJung:ci, r=RalfJung

    remove macOS work-around that is no longer needed
    
    Judging from actions/cache#403 it sounds like this work-around is not needed any more.
    bors committed Sep 24, 2022
    Configuration menu
    Copy the full SHA
    e0982da View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2022

  1. Configuration menu
    Copy the full SHA
    75bbe38 View commit details
    Browse the repository at this point in the history
  2. clarify a comment

    RalfJung committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    1f53be1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7e97f85 View commit details
    Browse the repository at this point in the history
  4. Auto merge of rust-lang#2567 - RalfJung:ci-sparse, r=RalfJung

    CI: use cargo sparse registry
    
    CI spends a few minutes downloading the index so this could help.
    bors committed Sep 25, 2022
    Configuration menu
    Copy the full SHA
    e8683f5 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    5f18674 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

  1. /// FIXME: docs

    pvdrz committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    c983ced View commit details
    Browse the repository at this point in the history
  2. update readme

    pvdrz committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    9ce9dae View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2022

  1. Auto merge of rust-lang#2562 - pvdrz:miri-num-cpus, r=RalfJung

    Add flag to specify the number of cpus
    
    Apparently you can't rename a branch from github's website without it closing all your PRs with that branch. So this is  just rust-lang#2545
    bors committed Sep 27, 2022
    Configuration menu
    Copy the full SHA
    20adc75 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2022

  1. Configuration menu
    Copy the full SHA
    6c77735 View commit details
    Browse the repository at this point in the history
  2. cargo update

    RalfJung committed Oct 2, 2022
    Configuration menu
    Copy the full SHA
    c542fa4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    28725d4 View commit details
    Browse the repository at this point in the history
  4. bump rustc-build-sysroot

    RalfJung committed Oct 2, 2022
    Configuration menu
    Copy the full SHA
    ca9eed3 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1048eba View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    49532bf View commit details
    Browse the repository at this point in the history
  7. relax vergen dependency

    RalfJung committed Oct 2, 2022
    Configuration menu
    Copy the full SHA
    848de11 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    fc90c48 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    4738296 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    386628b View commit details
    Browse the repository at this point in the history
  11. bump rustc_tools_util

    RalfJung committed Oct 2, 2022
    Configuration menu
    Copy the full SHA
    5ed9f5f View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    45b9a5d View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    17cb715 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2022

  1. Configuration menu
    Copy the full SHA
    d1676b5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    25e8f8e View commit details
    Browse the repository at this point in the history
  3. A bit of cleanup

    saethlin authored and RalfJung committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    a7153b5 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    61e71ce View commit details
    Browse the repository at this point in the history
  5. Use static dispatch in the visitor

    saethlin authored and RalfJung committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    a8f8106 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    1c6a624 View commit details
    Browse the repository at this point in the history
  7. Finish TimeoutCallback

    saethlin authored and RalfJung committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    841d1b2 View commit details
    Browse the repository at this point in the history
  8. Auto merge of rust-lang#2582 - RalfJung:sb-tracking, r=RalfJung

    more details in stacked borrows tag tracking
    bors committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    796bcf9 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e212af2 View commit details
    Browse the repository at this point in the history
  10. Auto merge of rust-lang#2566 - saethlin:gc-cleanup, r=oli-obk

    Expand VisitMachineValues to cover more pointers in the interpreter
    
    Follow-on to rust-lang/miri#2559
    
    This is making me want to write a proc macro 🤔
    
    r? `@RalfJung`
    bors committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    6f2b52f View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    9cc11e2 View commit details
    Browse the repository at this point in the history