PR #73930 [region-isolation] Add missing support for nonisolated(unsafe)

[region-isolation] Move SILIsolationInfo out of PartitionUtils into its own header/cpp file.

gottesmm committed 1 year ago

[region-isolation] Add a little bit of documentation to ActorInstance.

gottesmm committed 1 year ago

[region-isolation] Add the ability in SILIsolationInfo to represent a disconnected value that is nonisolated(unsafe).

gottesmm committed 1 year ago

[region-isolation] Rely on our classification of lookthrough or not to find underlying tracked object values rather than delegating to other analysis helpers.

gottesmm committed 1 year ago

[region-isolation] Initialize TrackableValueState's regionInfo with a .none instead of a disconnected region.

gottesmm committed 1 year ago

[region-isolation] Make sure that nonisolated(unsafe) works in all cases.

gottesmm committed 1 year ago

[region-isolation] Split in the type system SILIsolationInfo that has been merged and those that haven't.

gottesmm committed 1 year ago

[region-isolation] Add the ability for the analysis to emit "unknown error" partition ops in case we detect a case we cannot pattern match.

gottesmm committed 1 year ago

[region-isolation] Use SILIsolationInfo::initializeTrackableValue instead of SILIsolationInfo::mergeIsolationRegionInfo to fix last issue

gottesmm committed 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.

gottesmm committed 1 year ago

[region-isolation] Teach SIL isolation inference how to infer applies isolation from their callee's isolation.

gottesmm committed 1 year ago

swift [region-isolation] Add missing support for nonisolated(unsafe) #73930 Merged

swift
[region-isolation] Add missing support for nonisolated(unsafe)
#73930

Merged