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 subtree update #127317

Merged
merged 17 commits into from
Jul 4, 2024
Merged

Miri subtree update #127317

merged 17 commits into from
Jul 4, 2024

Commits on Jul 1, 2024

  1. add syscall dup()

    adwinwhite committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    ccc50b2 View commit details
    Browse the repository at this point in the history
  2. Use the symbol_name query instead of trying to infer from the link_na…

    …me attribute
    
    This prevents the calculated name from going out of sync with
    exported_symbols. It also avoids having to special case the panic_impl
    lang item.
    bjorn3 committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    18049b7 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. Configuration menu
    Copy the full SHA
    3e44883 View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    RalfJung committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    cbea3d7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3ca56a3 View commit details
    Browse the repository at this point in the history
  4. Auto merge of rust-lang#3724 - bjorn3:use_symbol_name_query, r=RalfJung

    Use the symbol_name query instead of trying to infer from the link_name attribute
    
    This prevents the calculated name from going out of sync with exported_symbols. It also avoids having to special case the panic_impl lang item.
    
    It also makes it easier to fix miri with rust-lang#127173.
    bors committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    4a7d29f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    c96bec1 View commit details
    Browse the repository at this point in the history
  6. Auto merge of rust-lang#3707 - adwinwhite:dup, r=RalfJung

    Add syscall `dup()` for unix target
    
    Add support for `dup()` and `dup2()`.
    
    Fixes rust-lang#3454
    bors committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    ad1d8a8 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

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

    Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsics
    
    These two intrinsics were missing from the original implementation of the AVX intrinsics.
    Fortunately their implementation is trivial.
    bors committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    b0d791d View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Preparing for merge from rustc

    The Miri Cronjob Bot committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    5c2946a View commit details
    Browse the repository at this point in the history
  2. Merge from rustc

    The Miri Cronjob Bot committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    d24bfd4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4a4a81a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8ef2c6c View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    0a86e79 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    02bec40 View commit details
    Browse the repository at this point in the history
  7. Auto merge of rust-lang#3732 - JoJoDeveloping:tree-borrows-protector-…

    …end-write, r=RalfJung
    
    TB: Refine protector end semantics
    
    Tree Borrows has protector end tag semantics, namely that protectors ending cause a [special implicit read](https://perso.crans.org/vanille/treebor/diff.0.html) on all locations protected by that protector that have actually been accessed. See also rust-lang#3067.
    
    While this is enough for ensuring protectors allow adding/reordering reads, it does not prove that one can reorder writes. For this, we need to make this stronger, by making this implicit read be a write in cases when there was a write to the location protected by that protector, i.e. if the permission is `Active`.
    
    There is a test that shows why this behavior is necessary, see `tests/fail/tree_borrows/protector-write-lazy.rs`.
    bors committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a3460e2 View commit details
    Browse the repository at this point in the history