Erik Eckstein
|
f32d4be69f
|
SIL Verifier: don't run read-only access scope verification in lowered SIL
LoadableByAddress in lowered SIL can insert `copy_addr`s inside read-only access scope.
rdar://163248403
|
2025-10-23 14:59:02 +02:00 |
|
Erik Eckstein
|
4f1cbbd07d
|
SIL Verifier: verify that inside a read-only access scope there are no stores to the memory location
This will e.g. catch violations like
```
%1 = begin_access [read] %0
store %2 to %0
end_access %1
```
Also, fix all the sil tests which violate that.
|
2025-10-22 20:55:21 +02:00 |
|
Meghana Gupta
|
ce128e71e2
|
Update SIL verification for borrow accessors
|
2025-09-09 15:25:08 -07:00 |
|
Erik Eckstein
|
319f49ad9f
|
SwiftCompilerSources: move the Verifier to the SIL module
|
2025-07-28 14:19:11 +02:00 |
|