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

use checked casts and arithmetic in Miri engine #70226

Merged
merged 11 commits into from
Mar 25, 2020
Merged

use checked casts and arithmetic in Miri engine #70226

merged 11 commits into from
Mar 25, 2020

Commits on Mar 25, 2020

  1. miri: simplify shift operator overflow checking

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    5be304b View commit details
    Browse the repository at this point in the history

  2. use checked casts and arithmetic in Miri engine

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    1ddbdc6 View commit details
    Browse the repository at this point in the history

  3. make bit_width return u64, consistently with other sizes in the compiler

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    9de6008 View commit details
    Browse the repository at this point in the history

  4. avoid double-cast in mplace_field

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    cd15b65 View commit details
    Browse the repository at this point in the history

  5. miri: avoid a bunch of casts by offering usized-based field indexing

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    d7e2650 View commit details
    Browse the repository at this point in the history

  6. remove unnecessary cast

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    f16b491 View commit details
    Browse the repository at this point in the history

  7. make Size::from* methods generic in the integer type they accept

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    0bc108a View commit details
    Browse the repository at this point in the history

  8. use Size addition instead of checked int addition

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    afcb634 View commit details
    Browse the repository at this point in the history

  9. add helper method for ptr ops on Scalar; reduce unnecessary large ope… 

    …rand of overflowing_signed_offset
    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    1d67ca0 View commit details
    Browse the repository at this point in the history

  10. go back to infix ops for Size

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    b7db732 View commit details
    Browse the repository at this point in the history

  11. add usize methods for Size getters

    @RalfJung
    RalfJung committed Mar 25, 2020
    Configuration menu
    Copy the full SHA
    7400955 View commit details
    Browse the repository at this point in the history