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

Merged

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

gottesmm merged 11 commits into swiftlang:main from gottesmm:nonisolatedunsafe-rdar128299305

gottesmm requested a review from

ktoso 1 year ago

gottesmm requested a review from

hborla 1 year ago

gottesmm requested a review from

slavapestov 1 year ago

gottesmm requested a review from

xedin 1 year ago

[region-isolation] Move SILIsolationInfo out of PartitionUtils into i…

35970062

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

4b29089f

[region-isolation] Add the ability in SILIsolationInfo to represent a…

3f26d08e

[region-isolation] Rely on our classification of lookthrough or not t…

b66cfcce

[region-isolation] Initialize TrackableValueState's regionInfo with a…

89a2cfce

[region-isolation] Make sure that nonisolated(unsafe) works in all ca…

3a1f58a7

[region-isolation] Split in the type system SILIsolationInfo that has…

741244e1

[region-isolation] Add the ability for the analysis to emit "unknown …

1bef011e

[region-isolation] Use SILIsolationInfo::initializeTrackableValue ins…

2de13df9

gottesmm force pushed 1 year ago

[region-isolation] Make temporary alloc_stack that we form for return…

74ac12c9

[region-isolation] Teach SIL isolation inference how to infer applies…

06c32d74

gottesmm force pushed to 06c32d74 1 year ago

gottesmm enabled auto-merge 1 year ago

gottesmm merged 4c2dc5ea into main 1 year ago

gottesmm deleted the nonisolatedunsafe-rdar128299305 branch 1 year ago

Reviewers

ktoso

hborla

slavapestov

xedin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

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

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

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

Merged