Skip to content

Fix LoadBorrowImmutabilityChecker for partial applies #34658

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

Merged
merged 1 commit into from
Nov 12, 2020

Conversation

meg-gupta
Copy link
Contributor

@meg-gupta meg-gupta commented Nov 10, 2020

Do not mark addresses passed as in_guaranteed parameters to a partial apply as a write in the LoadBorrowImmutabilityChecker

Fixes rdar://70687511

@meg-gupta meg-gupta requested a review from gottesmm November 10, 2020 17:35
@meg-gupta
Copy link
Contributor Author

@gottesmm thanks for the suggestions for the fix. I am currently allowing any in_guaranteed address passed to a partial_apply onstack/ or not to not be considered as a write. What do you think ?

@meg-gupta meg-gupta force-pushed the fixloadborrowpa branch 2 times, most recently from 29e071d to c1a5337 Compare November 10, 2020 17:56
@meg-gupta
Copy link
Contributor Author

@swift-ci smoke test

@meg-gupta meg-gupta merged commit ce218b3 into swiftlang:main Nov 12, 2020
@gottesmm
Copy link
Contributor

@meg-gupta I think this is incorrect. Its only onstack where this is true.

@meg-gupta
Copy link
Contributor Author

Fixed here - #34736

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.

2 participants