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

CTFE/Miri engine Pointer type overhaul #87123

Merged
merged 16 commits into from
Jul 17, 2021
Merged

CTFE/Miri engine Pointer type overhaul #87123

merged 16 commits into from
Jul 17, 2021

Commits on Jul 14, 2021

  1. CTFE/Miri engine Pointer type overhaul: make Scalar-to-Pointer conver… 

    …sion infallible

This resolves all the problems we had around "normalizing" the representation of a Scalar in case it carries a Pointer value: we can just use Pointer if we want to have a value taht we are sure is already normalized.
    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    d4f7dd6 View commit details
    Browse the repository at this point in the history

  2. consistently treat None-tagged pointers as ints; get rid of some depr… 

    …ecated Scalar methods
    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    626605c View commit details
    Browse the repository at this point in the history

  3. use NonZeroU64 for AllocId to restore old type sizes

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    71c166a View commit details
    Browse the repository at this point in the history

  4. fix cranelift

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    172abb2 View commit details
    Browse the repository at this point in the history

  5. adjust tests

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    4759090 View commit details
    Browse the repository at this point in the history

  6. test dynamic check for ptr-int-casts (unleashed)

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    4ff353c View commit details
    Browse the repository at this point in the history

  7. more precise message for the ptr access check on deref

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    ae950a2 View commit details
    Browse the repository at this point in the history

  8. bless mir-opt, codegen, and remaining ui tests

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    1f21ab1 View commit details
    Browse the repository at this point in the history

  9. remove unused error variant

    @RalfJung
    RalfJung committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    8932aeb View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2021

  1. adjustions and cleanup to make Miri build again

    @RalfJung
    RalfJung committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    f4b61ba View commit details
    Browse the repository at this point in the history

  2. enable Miri to fix the bytes in an allocation (since ptr offsets have… 

    … different meanings there)
    @RalfJung
    RalfJung committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    adbe755 View commit details
    Browse the repository at this point in the history

  3. make check_ptr_access_align work on function pointer allocations

    @RalfJung
    RalfJung committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    bd874a9 View commit details
    Browse the repository at this point in the history

  4. tweak pointer out-of-bounds error message

    @RalfJung
    RalfJung committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    4e28065 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2021

  1. get rid of incorrect erase_for_fmt

    @RalfJung
    RalfJung committed Jul 16, 2021
    Configuration menu
    Copy the full SHA
    7c720ce View commit details
    Browse the repository at this point in the history

  2. add some comments regarding the two major quirks of our memory model

    @RalfJung
    RalfJung committed Jul 16, 2021
    Configuration menu
    Copy the full SHA
    a5299fb View commit details
    Browse the repository at this point in the history

  3. avoid manual Debug impls by adding extra Provenance bounds to types 

    I wish the derive macro would support adding extra where clauses...
    @RalfJung
    RalfJung committed Jul 16, 2021
    Configuration menu
    Copy the full SHA
    efbee50 View commit details
    Browse the repository at this point in the history