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

MIR sanity check: validate types on assignment #72796

Merged
merged 12 commits into from
Jun 28, 2020
Merged

MIR sanity check: validate types on assignment #72796

merged 12 commits into from
Jun 28, 2020

Commits on Jun 22, 2020

  1. MIR sanity check: validate types on assignment

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    810f309 View commit details
    Browse the repository at this point in the history

  2. prepare visit_statement for checking more kinds of statements

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    50d7dea View commit details
    Browse the repository at this point in the history

  3. also normalize constants when comparing types

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    93e3552 View commit details
    Browse the repository at this point in the history

  4. also normalize_erasing_regions

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    9576e30 View commit details
    Browse the repository at this point in the history

  5. reveal_all when sanity-checking MIR assignment types

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    8200771 View commit details
    Browse the repository at this point in the history

  6. no need to normalize mutability any more

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    978470f View commit details
    Browse the repository at this point in the history

  7. use a TypeRelation to compare the types

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    91f73fb View commit details
    Browse the repository at this point in the history

  8. fix typo 

    Co-authored-by: Bastian Kauschke <bastian_kauschke@hotmail.de>
    @RalfJung @lcnr
    RalfJung and lcnr committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    7754322 View commit details
    Browse the repository at this point in the history

  9. also use relator in interpreter assignment sanity check

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    7f8fe6a View commit details
    Browse the repository at this point in the history

  10. expand a comment

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    5e5ae8b View commit details
    Browse the repository at this point in the history

  11. make layout check a mere sanity check

    @RalfJung
    RalfJung committed Jun 22, 2020
    Configuration menu
    Copy the full SHA
    a593728 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2020

  1. reduce sanity check in debug mode

    @RalfJung
    RalfJung committed Jun 24, 2020
    Configuration menu
    Copy the full SHA
    35911ee View commit details
    Browse the repository at this point in the history