the RegionAnalysis pass currently appears to run on almost all (SIL) functions, including many that appear to be compiler-generated (accessors, deinits, etc). IIUC the only thing the pass can do is potentially emit diagnostics, and emitting diagnostics for synthesized code seems like it would likely be confusing for developers. is there value in performing this analysis pass on such code, or is that work that could potentially be skipped?
3 Likes