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

Fix validation and reborrowing of integer pointers #830

Merged
merged 7 commits into from
Jul 11, 2019
Merged

Fix validation and reborrowing of integer pointers #830

merged 7 commits into from
Jul 11, 2019

Commits on Jul 10, 2019

  1. ptr_offset works fine with intptrcast now

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

  2. adjust for rustc changes; normalize mplace before doing freeze-sensit… 

    …ive visit
    @RalfJung
    RalfJung committed Jul 10, 2019
    Configuration menu
    Copy the full SHA
    f79f31d View commit details
    Browse the repository at this point in the history

  3. now we can also enable the ptr_int_cast test again

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

  4. force pointers before reborrowing; fixes cargo miri test suite

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

  5. bump rustc

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

  6. we do this these days

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

Commits on Jul 11, 2019

  1. bump rust

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