swift

b636da17 - SILVerifier: be more tolerant if errors were detected in diagnostic passes

SILVerifier: be more tolerant if errors were detected in diagnostic passes SIL cannot be assumed to be 100% valid if errors were detected in diagnostic passes. For example in DefiniteInitialization. Fixes some false verifier errors in case -sil-verify-all is used. rdar://127519229 rdar://127518886