swift
74ac12c9 - [region-isolation] Make temporary alloc_stack that we form for returning values from a non-final class field take on the class method's isolation.

Commit
1 year ago
[region-isolation] Make temporary alloc_stack that we form for returning values from a non-final class field take on the class method's isolation. The reason why we are doing this is that otherwise, we have that the alloc_stack formed for the result is disconnected and despite the fact that we merge it into the actor region of the class method, we do not have that the alloc_stack specifically is marked when we attempt to squelch Please. This patch fixes that problem by detecting when an alloc_stack is being used as a temporary for an out parameter and makes the alloc_stack initially isolated as appropriate. It only does this in the specific cases where we can pattern match it which in my limited testing has handled everything.
Author
Committer
Parents
Loading