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

interpret: fix projecting into an unsized field of a local #114483

Merged
merged 5 commits into from
Aug 30, 2023
Merged

interpret: fix projecting into an unsized field of a local #114483

merged 5 commits into from
Aug 30, 2023

Commits on Aug 30, 2023

  1. interpret: fix projecting into an unsized field of a local 

    new invariant: Place::Local never refers to something unsized
    @RalfJung
    RalfJung committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    bdd5855 View commit details
    Browse the repository at this point in the history

  2. move marking-locals-live out of push_stack_frame, so it happens with … 

    …argument passing

this entirely avoids even creating unsized locals in Immediate::Uninitialized state
    @RalfJung
    RalfJung committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    a09df43 View commit details
    Browse the repository at this point in the history

  3. a bit of meta-related cleanup on Projectable

    @RalfJung
    RalfJung committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    7cdeff2 View commit details
    Browse the repository at this point in the history

  4. unify passing of sized and unsized function arguments :-)

    @RalfJung
    RalfJung committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    f87e91d View commit details
    Browse the repository at this point in the history

  5. storage_live: avoid computing the layout unless necessary

    @RalfJung
    RalfJung committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    6d1ce9b View commit details
    Browse the repository at this point in the history