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

miri: protect Move() function arguments during the call #113569

Merged
merged 9 commits into from
Jul 12, 2023
Merged

miri: protect Move() function arguments during the call #113569

merged 9 commits into from
Jul 12, 2023

Commits on Jul 9, 2023

  1. test and fix return place alias restrictions

    @RalfJung
    RalfJung committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    0365101 View commit details
    Browse the repository at this point in the history

  2. Auto merge of rust-lang#2973 - RalfJung:returnplace, r=RalfJung 

    test and fix return place alias restrictions
    @bors
    bors committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    5102777 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Preparing for merge from rustc

    @RalfJung
    RalfJung committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    d4034a2 View commit details
    Browse the repository at this point in the history

  2. Merge from rustc

    @RalfJung
    RalfJung committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    a3fdf75 View commit details
    Browse the repository at this point in the history

  3. Auto merge of rust-lang#2974 - RalfJung:rustup, r=RalfJung 

    Rustup
    @bors
    bors committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    3ea096a View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. miri: protect Move() function arguments during the call

    @RalfJung
    RalfJung committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    dd453a6 View commit details
    Browse the repository at this point in the history

  2. miri tree borrows: skip retag_reference early if there is no NewPermi… 

    …ssion
    @RalfJung
    RalfJung committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    95392ef View commit details
    Browse the repository at this point in the history

  3. update Operand::Move docs

    @RalfJung
    RalfJung committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    124fb14 View commit details
    Browse the repository at this point in the history

  4. fix handling of alignment for dyn-sized places

    @RalfJung
    RalfJung committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    e7c6db7 View commit details
    Browse the repository at this point in the history