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

Implement tainted_by_errors in MIR borrowck, use it to skip CTFE #93691

Merged
merged 7 commits into from
Feb 12, 2022
Merged

Implement tainted_by_errors in MIR borrowck, use it to skip CTFE #93691

merged 7 commits into from
Feb 12, 2022

Commits on Feb 11, 2022

  1. implement tainted_by_errors in mir borrowck

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    4ad272b View commit details
    Browse the repository at this point in the history

  2. skip const eval if we have an error in borrowck

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    77dae2d View commit details
    Browse the repository at this point in the history

  3. fix tests, add new tests checking borrowck CFTE ICE

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    06eb912 View commit details
    Browse the repository at this point in the history

  4. always cache result from mir_borrowck

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    8b7b0a0 View commit details
    Browse the repository at this point in the history

  5. rework borrowck errors so that it's harder to not set tainted

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    29c2bb5 View commit details
    Browse the repository at this point in the history

  6. add tainted_by_errors to mir::Body

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    a431174 View commit details
    Browse the repository at this point in the history

  7. use body.tainted_by_error to skip loading MIR

    @compiler-errors
    compiler-errors committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    67ad0ff View commit details
    Browse the repository at this point in the history