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

[SR-14114] Diagnose coroutine differentiation until it is supported #54403

Closed
Tracked by #54401
dan-zheng opened this issue Dec 21, 2019 · 1 comment
Closed
Tracked by #54401

[SR-14114] Diagnose coroutine differentiation until it is supported #54403

dan-zheng opened this issue Dec 21, 2019 · 1 comment
Assignees
Labels
compiler The Swift compiler in itself

Comments

@dan-zheng
Copy link
Collaborator

Previous ID SR-14114
Radar None
Original Reporter @dan-zheng
Type Sub-task
Status Closed
Resolution Done
Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Sub-task
Assignee @dan-zheng
Priority Medium

md5: b20ff4a54788bdb4cd0f1701fa11199e

Parent-Task:

  • SR-14113 Support _read and _modify accessor differentiation

relates to:

  • TF-1078 [AD] Incorrect derivatives for coroutines (begin_apply for a modify accessor)

Issue Description:

Coroutine differentiation should be diagnosed until it is supported.

Currently, differentiation of active coroutine calls is not diagnosed and silently produces incorrect results: TF-1078.

This is because begin_apply is not handled in activity analysis or "should differentiate instruction" logic.

@dan-zheng
Copy link
Collaborator Author

Done in #28921

@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
compiler The Swift compiler in itself
Projects
None yet
Development

No branches or pull requests

1 participant