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

Migrate borrowck dataflow impls to new framework #68241

Merged
merged 11 commits into from
Feb 12, 2020
Merged

Migrate borrowck dataflow impls to new framework #68241

merged 11 commits into from
Feb 12, 2020

Commits on Feb 10, 2020

  1. Add a contains method to ResultsCursor

    @ecstatic-morse
    ecstatic-morse committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    e2b9d6e View commit details
    Browse the repository at this point in the history

  2. Add an into_engine method to Analysis 

    This makes it more ergonomic to create a dataflow engine and obviates
the need to pick between `new_gen_kill` and `new_generic`.
    @ecstatic-morse
    ecstatic-morse committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    1ec9917 View commit details
    Browse the repository at this point in the history

  3. Add a Visitor for dataflow results

    @ecstatic-morse
    ecstatic-morse committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    c64dfd7 View commit details
    Browse the repository at this point in the history

  4. Implement a find_descendant method for MovePath

    @ecstatic-morse
    ecstatic-morse committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    702096d View commit details
    Browse the repository at this point in the history

  5. Use new dataflow interface for initialization/borrows analyses

    @ecstatic-morse
    ecstatic-morse committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    ce3f37b View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2020

  1. Use new dataflow framework for drop elaboration and borrow checking

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    f639607 View commit details
    Browse the repository at this point in the history

  2. Use new dataflow framework for rustc_peek tests

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    42d19a4 View commit details
    Browse the repository at this point in the history

  3. Skip caching block transfer functions for acyclic MIR

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    5860e78 View commit details
    Browse the repository at this point in the history

  4. Add note about elaborate_drops::InitializationData

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    168ca9a View commit details
    Browse the repository at this point in the history

  5. Use exhaustive matching

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    3ac920f View commit details
    Browse the repository at this point in the history

  6. Clarify why you shouldn't override Analysis::into_engine

    @ecstatic-morse
    ecstatic-morse committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    5f40fe9 View commit details
    Browse the repository at this point in the history