Skip to content

Check of cyclic object initialization v3 #12122

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
Closed
wants to merge 47 commits into from
Closed

Check of cyclic object initialization v3 #12122

wants to merge 47 commits into from

Conversation

liufengyun
Copy link
Contributor

liufengyun added 19 commits April 16, 2021 16:50
@liufengyun liufengyun mentioned this pull request Apr 16, 2021
Closed
@liufengyun
Simplify summarization logic
3508d33 
Now we handle the semantics of object access during checking.
@liufengyun
Fix community build
2801664
@liufengyun
Fix tests
ea48d0b 
Move checker before ExpandSAMs:

- inner classes are more complex to deal with
- the trees are not set for the synthesized class
@liufengyun
Refine code documentation
da72317
@liufengyun
Report errors instead of crash
f3bf03b
@liufengyun
Fix tests after phase move: constant folding happens later
b2ae947
liufengyun added 14 commits April 20, 2021 14:07
@liufengyun
Make ordering of check deterministic
96fe9b5
@liufengyun
Make checking state final
5787e5c 
Overriding methods of State is erroneous and should be forbidden.
@liufengyun
More friendly trace for collected transitive dependencies
1a5b137
@liufengyun
Add more tests
6546e2d
@liufengyun
More refined analysis for calls on objects
25f0782
@liufengyun
Handle O.this.m() in type analysis
afd304a
@liufengyun
Add tests
06e577f
@liufengyun
Don't trigger object access effect after super constructor call
8af6f21
@liufengyun
More fine-grained analysis for inner classes of static objects
662da71
@liufengyun
More friendly stack trace
b38aef5
@liufengyun
See through static calls on inner objects
9f9f944
@liufengyun
Support pinpointing in stacktrace
b70f63c
@liufengyun
Show file and line numbers at the beginning in stack trace
224732b
@liufengyun
Remove unsound skip
ef76448 
Static calls should be checked unless the instance class is defined in
a separate module. This is because the static call in library may
contain virtual calls to the current project.
@liufengyun liufengyun marked this pull request as ready for review April 26, 2021 22:39
@liufengyun liufengyun self-assigned this May 10, 2021
@liufengyun liufengyun mentioned this pull request Jun 3, 2021
Closed
@liufengyun
Copy link
Contributor Author

Superseded by #12698.

@liufengyun liufengyun closed this Jun 3, 2021
@liufengyun liufengyun deleted the fix-global3 branch June 3, 2021 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@liufengyun liufengyun

Labels
None yet
Projects
None yet
Milestone
No milestone
1 participant
@liufengyun