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

Extend Polonius fact generation for (some) move tracking #62800

Merged
merged 8 commits into from
Sep 5, 2019
Merged

Extend Polonius fact generation for (some) move tracking #62800

merged 8 commits into from
Sep 5, 2019

Commits on Sep 4, 2019

  1. NLL: New Polonius version

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    2adb246 View commit details
    Browse the repository at this point in the history

  2. NLL: Adapt to the new Polonius types

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    996ba93 View commit details
    Browse the repository at this point in the history

  3. Polonius: emit initialization/move tracking facts 

    - var_starts_path
- parent
- initialized_at
- moved_out_at

This also switches to the intended emission of `var_drop_used` fact emission,
where that fact is always emitted on a drop-use of a variable, regardless of its
initialization status, as Polonius now handles that.
    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    6b09477 View commit details
    Browse the repository at this point in the history

  4. Polonius: Rename parent and var_starts_path

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    9f39e00 View commit details
    Browse the repository at this point in the history

  5. Polonius: don't emit var_maybe_initialized_on_exit

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    6568b08 View commit details
    Browse the repository at this point in the history

  6. Polonius: don't emit region_live_at

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    9cd1a11 View commit details
    Browse the repository at this point in the history

  7. Polonius: emit variable access facts

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    560ef6d View commit details
    Browse the repository at this point in the history

  8. Rustfmt the files I touched

    Albin Stjerna committed Sep 4, 2019
    Configuration menu
    Copy the full SHA
    28312b5 View commit details
    Browse the repository at this point in the history