Skip to content

Mo tuples mo problems #7902

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 3 commits into from
Mar 5, 2017
Merged

Conversation

gottesmm
Copy link
Contributor

@gottesmm gottesmm commented Mar 3, 2017

[silgen] Fix another tuple explosion -> borrow + copy since we do not have the destructure operation yet.

rdar://29791263

@gottesmm
Copy link
Contributor Author

gottesmm commented Mar 3, 2017

@swift-ci Please smoke test and merge

gottesmm added 3 commits March 5, 2017 11:44
…cts with trivial ownership should never have a cleanup.

rdar://29791263
… have the destructure operation yet.

rdar://29791263
…ng inst has conflicting ownership.

If SIL Ownership is enabled, we still trigger an unreachable.

rdar://29791263
@gottesmm gottesmm force-pushed the mo_tuples_mo_problems branch from 1354fe0 to 07bcac3 Compare March 5, 2017 19:45
@gottesmm
Copy link
Contributor Author

gottesmm commented Mar 5, 2017

@swift-ci Please smoke test and merge

1 similar comment
@gottesmm
Copy link
Contributor Author

gottesmm commented Mar 5, 2017

@swift-ci Please smoke test and merge

@gottesmm
Copy link
Contributor Author

gottesmm commented Mar 5, 2017

The assertion failure that I hit in XCTest was correct! We had a tuple that was forwarding two types with conflicting ownership!

I loosened the assert when SILOwnership is disabled to return a conservative Any result.

@swift-ci swift-ci merged commit 014ec70 into swiftlang:master Mar 5, 2017
@gottesmm gottesmm deleted the mo_tuples_mo_problems branch March 5, 2017 21:15
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