File tree 1 file changed +2
-1
lines changed 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -1885,13 +1885,14 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
1885
1885
// Unsafe enforcement is used for some unrecognizable access patterns,
1886
1886
// like debugger variables. The compiler never cares about the source of
1887
1887
// those accesses.
1888
- AccessedStorage storage = findAccessedStorage (BAI->getSource ());
1888
+ findAccessedStorage (BAI->getSource ());
1889
1889
// FIXME: rdar://57291811 - the following check for valid storage will be
1890
1890
// reenabled shortly. A fix is planned. In the meantime, the possiblity that
1891
1891
// a real miscompilation could be caused by this failure is insignificant.
1892
1892
// I will probably enable a much broader SILVerification of address-type
1893
1893
// block arguments first to ensure we never hit this check again.
1894
1894
/*
1895
+ AccessedStorage storage = findAccessedStorage(BAI->getSource());
1895
1896
if (BAI->getEnforcement() != SILAccessEnforcement::Unsafe)
1896
1897
require(storage, "Unknown formal access pattern");
1897
1898
*/
You can’t perform that action at this time.
0 commit comments