Merge pull request #1548 from xymus/frontend-check-no-verify

Only pass down the `-no-verify-emitted-module-interface` flag if the frontend accepts it

Author: xymus

Sources/SwiftDriver/Jobs/FrontendJobHelpers.swift

@@ -423,7 +423,8 @@ extension Driver {
     // Pass along -no-verify-emitted-module-interface only if it's effective.
     // Assume verification by default as we want to know only when the user skips
     // the verification.
-    if !parsedOptions.hasFlag(positive: .verifyEmittedModuleInterface,
+    if isFrontendArgSupported(.noVerifyEmittedModuleInterface) &&
+       !parsedOptions.hasFlag(positive: .verifyEmittedModuleInterface,
                               negative: .noVerifyEmittedModuleInterface,
                               default: true) {
       commandLine.appendFlag("-no-verify-emitted-module-interface")

Tests/SwiftDriverTests/SwiftDriverTests.swift

@@ -5632,7 +5632,9 @@ final class SwiftDriverTests: XCTestCase {
       XCTAssertEqual(plannedJobs.count, 2)
       XCTAssertFalse(plannedJobs.containsJob(.verifyModuleInterface))
       let emitJob = try plannedJobs.findJob(.emitModule)
-      XCTAssertTrue(emitJob.commandLine.contains("-no-verify-emitted-module-interface"))
+      if driver.isFrontendArgSupported(.noVerifyEmittedModuleInterface) {
+        XCTAssertTrue(emitJob.commandLine.contains("-no-verify-emitted-module-interface"))
+      }
     }
 
     // Disabled by default in merge-module
@@ -5698,7 +5700,9 @@ final class SwiftDriverTests: XCTestCase {
       let plannedJobs = try driver.planBuild()
       XCTAssertEqual(plannedJobs.count, 1)
       let compileJob = try plannedJobs.findJob(.compile)
-      XCTAssertTrue(compileJob.commandLine.contains("-no-verify-emitted-module-interface"))
+      if driver.isFrontendArgSupported(.noVerifyEmittedModuleInterface) {
+        XCTAssertTrue(compileJob.commandLine.contains("-no-verify-emitted-module-interface"))
+      }
     }
 
     // Enabled by default when the library-level is api.