Michael Gottesman
32b4de60a9
Rename transfer -> send.
...
Accomplished using clangd's rename functionality.
2024-11-04 15:17:51 -08:00
Michael Gottesman
bfdbc760cf
[region-isolation] Convert UseAfterTransfer's typed isolation transfer error to the split small error/large note format we are standardizing on.
...
I also cleaned up the diagnostic a little bit.
2024-07-31 13:10:02 -07:00
Kavon Farvardin
5230b19ef6
Test: replace '@_moveOnly' with '~Copyable'
2024-07-23 11:05:33 -07:00
Michael Gottesman
f64f2529fb
[region-isolation] Some more diagnostic wordsmithing.
...
rdar://127580781
2024-05-06 19:20:07 -07:00
Michael Gottesman
e4db879112
[region-isolation] Some more diagnostic wordsmithing.
...
rdar://127580781
2024-05-06 12:09:10 -07:00
Michael Gottesman
f02172a323
[region-isolation] Change terminology to use the term 'risk' instead of could.
2024-05-05 18:01:05 -07:00
Michael Gottesman
699692bd39
[region-isolation] Change diagnostics from using the term transferring -> sending.
...
rdar://127580781
2024-05-05 18:00:54 -07:00
Michael Gottesman
b3e837c16c
[region-isolation] Enable region isolation by default with strict-concurrency.
...
I added a disable flag -disable-region-based-isolation-with-strict-concurrency
so that we do not need to update the current tests. It is only available when
asserts are enabled to ensure users cannot use it.
rdar://125918028
2024-04-04 13:07:32 -07:00
Michael Gottesman
2f9b519758
[region-isolation] Wordsmith "{access,use} here could race".
...
I am doing this since it isn't always going to be an access. We may not have
memory. We are talking about uses here!
I was able to just use sed so it was an easy fix.
2024-03-23 17:19:09 -07:00
Michael Gottesman
99e3f7fb13
[region-isolation] Make RegionBasedIsolation an upcoming feature for swift 6.
...
To make the tests pass, I had to teach sil-opt how to setup upcoming features
since it did not know how to parse them.
rdar://124100266
2024-03-05 15:15:14 -08:00
Daniel Rodríguez Troitiño
e14717bd79
[test] Mark test using _Differentiation as needing differentiable_programming ( #71876 )
...
The test was trying to import the module, but it will not be available
unless the build system has been setup for differentiable programming.
2024-02-26 13:52:41 -08:00
Michael Gottesman
4bba1942b1
[region-isolation] Add support for differentiability instructions.
2024-02-02 14:50:10 -08:00
