Merge pull request #77036 from tbkka/tbkka-verifiers-are-assertions

Enable full SIL verification with `-compiler-assertions`

Author: tbkka

lib/Frontend/CompilerInvocation.cpp

@@ -3656,6 +3656,8 @@ bool CompilerInvocation::parseArgs(
     return true;
   }
 
+  ParseAssertionArgs(ParsedArgs);
+
   if (ParseFrontendArgs(FrontendOpts, ParsedArgs, Diags,
                         ConfigurationFileBuffers)) {
     return true;
@@ -3672,8 +3674,6 @@ bool CompilerInvocation::parseArgs(
     return true;
   }
 
-  ParseAssertionArgs(ParsedArgs);
-
   if (ParseLangArgs(LangOpts, ParsedArgs, Diags, FrontendOpts)) {
     return true;
   }

lib/SIL/Verifier/SILVerifier.cpp

@@ -7330,6 +7330,10 @@ static bool verificationEnabled(const SILModule &M) {
   if (M.getOptions().VerifyAll)
     return true;
 
+  // If we have asserts enabled, always verify...
+  if (CONDITIONAL_ASSERT_enabled())
+    return true;
+
 #ifndef NDEBUG
   // Otherwise if we do have asserts enabled, always verify...
   return true;