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

Check safe initialization of global objects #10550

Closed
wants to merge 34 commits into from
Closed

Check safe initialization of global objects #10550

wants to merge 34 commits into from

Commits on Nov 27, 2020

  1. Remove unused file

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    12def6b View commit details
    Browse the repository at this point in the history

  2. Add definitions to support check global objects

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    b7ccd17 View commit details
    Browse the repository at this point in the history

  3. Analyzing global effects and potentials

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    62665c9 View commit details
    Browse the repository at this point in the history

  4. WIP - check global effects

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    9ede51a View commit details
    Browse the repository at this point in the history

  5. WIP - check global effects except promotion

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    70cdf2d View commit details
    Browse the repository at this point in the history

  6. Propagate global potentials

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    574f163 View commit details
    Browse the repository at this point in the history

  7. Refactor: remove useless parameter

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    3a4c57d View commit details
    Browse the repository at this point in the history

  8. Better summary for new expressions with static path

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    4d74787 View commit details
    Browse the repository at this point in the history

  9. Make summary a proper class

    @liufengyun
    liufengyun committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    2bed5fb View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2020

  1. Rename isInternal to hasSource

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    7068ea7 View commit details
    Browse the repository at this point in the history

  2. Check promotion of potentials

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    1718b30 View commit details
    Browse the repository at this point in the history

  3. Cache safely promoted potential

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    a2c30c9 View commit details
    Browse the repository at this point in the history

  4. Refactor ignored methods handling

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    0bd9fae View commit details
    Browse the repository at this point in the history

  5. Fix debugging code

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    28652bc View commit details
    Browse the repository at this point in the history

  6. Don't produce duplicate select effect in potential expansion

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    f61ddd8 View commit details
    Browse the repository at this point in the history

  7. Enable hijacking check

    @liufengyun
    liufengyun committed Nov 28, 2020
    Configuration menu
    Copy the full SHA
    365e0f9 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2020

  1. Fix test case tests/init/neg/hybrid2.scala

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    c7864b9 View commit details
    Browse the repository at this point in the history

  2. Split effect check into multiple methods

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    0e35f9e View commit details
    Browse the repository at this point in the history

  3. Fix range for promotion effects

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    232a4fb View commit details
    Browse the repository at this point in the history

  4. Simplify promotion logic for warm

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    0677fe5 View commit details
    Browse the repository at this point in the history

  5. Refactor promotion of this

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    16c4977 View commit details
    Browse the repository at this point in the history

  6. Fix tests 

    - Fix crash tests/init/crash/i1990b.scala
- tests/init/neg/inner1.scala
  Now we support safe promotion
    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    62f03f3 View commit details
    Browse the repository at this point in the history

  7. Fix non-termination 

    The non-termination is caused by typo in the level of `Outer`:
it should be `pot.level` instead of `pot.size`.
    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    d90dce2 View commit details
    Browse the repository at this point in the history

  8. Revert scala#9673 

    Handle NoPrefix properly
    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    2334a0d View commit details
    Browse the repository at this point in the history

  9. Add promotion tests

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    ef30873 View commit details
    Browse the repository at this point in the history

  10. Fix missing return

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    d425f9d View commit details
    Browse the repository at this point in the history

  11. Ignore constructor call on Any, Object and AnyVal

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    ca2ade2 View commit details
    Browse the repository at this point in the history

  12. Ignore external global method calls 

    Those calls cannot have impact on initialization status of current object.
    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    990079c View commit details
    Browse the repository at this point in the history

  13. Member promotion result override outer promotion result

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    b097980 View commit details
    Browse the repository at this point in the history

  14. Refactor

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    fb88ebf View commit details
    Browse the repository at this point in the history

  15. Introduce fast and full check modes

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    299e048 View commit details
    Browse the repository at this point in the history

  16. Fix scala#9176: Handle parent call argument effects in full mode

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    be53c79 View commit details
    Browse the repository at this point in the history

  17. Add test cases

    @liufengyun
    liufengyun committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    cf468aa View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2020

  1. update documentation

    @liufengyun
    liufengyun committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    9052e24 View commit details
    Browse the repository at this point in the history