-
Notifications
You must be signed in to change notification settings - Fork 20
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.
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
EAR pointer analysis: add inter-procedural support #308
Conversation
Somehow I can't add new reviewer into this PR. Can we add Tim as a reviewer? |
It seems I am unable to add him either. 🤔 If you send him a link to the PR he should be able to review it though. |
I believe GitHub doesn't allow you to add someone to a PR until they are listed in that repo's history - usually as a contributor of at least one commit. Mentions should still show up in their notifications, though (maybe?). @timothy-king |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM.
Maybe consider adding a test case with a recursive function.
Such a test has been added. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Fixes #<issue_number_goes_here>