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.

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

Improve try-catch parsing #1862

Merged
merged 6 commits into from
Jun 9, 2023
Merged

Improve try-catch parsing #1862

merged 6 commits into from
Jun 9, 2023

Conversation

smonicas
Copy link
Contributor

fix #511 #914 #982
Make assignments of the returned variables by the external call in the Try node. Additionally set the parameter in the catch clauses (e.g. catch(bytes memory data) data in this case) to initialized so they are not reported by the uninitialized-local-variables detector.
This PR should be merged with #1861.

@0xalpharush
Copy link
Contributor

Can we add a test case that this doesn't get detect to the uninitialized-local-variables detector test contract please

@0xalpharush
Copy link
Contributor

Should this also handle the legacy AST?

@0xalpharush
Copy link
Contributor

@smonicas Can you fix the merge conflicts please?

@0xalpharush 0xalpharush added this to the 0.9.4 milestone Jun 5, 2023
@montyly montyly merged commit fc28eee into dev Jun 9, 2023
@montyly montyly deleted the dev-try-catch-parsing branch June 9, 2023 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants