Open
Description
| Previous ID | SR-8370 |
| Radar | None |
| Original Reporter | @dan-zheng |
| Type | Bug |
Additional Detail from JIRA
| Votes | 0 |
| Component/s | Swift for TensorFlow |
| Labels | Bug |
| Assignee | None |
| Priority | Medium |
md5: 6d35dd5b9bf6d9f2a1000384cd86fe29
Issue Description:
The verify-di-holes flag (controlling SIL debug scope verification) was temporarily disabled in #18193 because the verifier cannot handle inlining done during deabstraction.
When the verifier is enhanced to handle inlined call sites and deabstraction passes verification, verify-di-holes should be re-enabled.