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: improve and simplify overflow detection #69002

Merged
merged 8 commits into from
Feb 13, 2020
Merged

miri: improve and simplify overflow detection #69002

merged 8 commits into from
Feb 13, 2020

Commits on Feb 9, 2020

  1. miri: simplify singed operator overflow detection

    @RalfJung
    RalfJung committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    202d401 View commit details
    Browse the repository at this point in the history

  2. bring back extra check for int_min%-1

    @RalfJung
    RalfJung committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    28f85c6 View commit details
    Browse the repository at this point in the history

  3. miri: equip unary_op with overflow detection

    @RalfJung
    RalfJung committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    7d2f6ae View commit details
    Browse the repository at this point in the history

  4. const-prop: use overflowing_unary_op for overflowing checking of unar… 

    …y ops
    @RalfJung
    RalfJung committed Feb 9, 2020
    Configuration menu
    Copy the full SHA
    ae23f70 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2020

  1. add test that checks overflows on arithmetic operators

    @RalfJung
    RalfJung committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    b434d7e View commit details
    Browse the repository at this point in the history

  2. div/rem overflow tests: also test i128

    @RalfJung
    RalfJung committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    1ddb050 View commit details
    Browse the repository at this point in the history

  3. some more tests for i128 oveflow behavior

    @RalfJung
    RalfJung committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    d6c5a04 View commit details
    Browse the repository at this point in the history

  4. remove outdated comment

    @RalfJung
    RalfJung committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    c561d23 View commit details
    Browse the repository at this point in the history