move init to arg parsing

Author: nia-e

src/bin/miri.rs

@@ -192,13 +192,6 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
             todo!("GenMC mode not yet implemented");
         };
 
-        #[cfg(target_os = "linux")]
-        if !config.native_lib.is_empty() && !config.force_old_native_lib {
-            // FIXME: This should display a diagnostic / warning on error
-            // SAFETY: No other threads have spawned yet
-            let _ = unsafe { miri::init_sv() };
-        }
-
         if let Some(many_seeds) = self.many_seeds.take() {
             assert!(config.seed.is_none());
             let exit_code = sync::IntoDynSyncSend(AtomicI32::new(rustc_driver::EXIT_SUCCESS));
@@ -802,6 +795,14 @@ fn main() {
 
     debug!("rustc arguments: {:?}", rustc_args);
     debug!("crate arguments: {:?}", miri_config.args);
+
+    #[cfg(target_os = "linux")]
+    if !miri_config.native_lib.is_empty() && !miri_config.force_old_native_lib {
+        // FIXME: This should display a diagnostic / warning on error
+        // SAFETY: No other threads have spawned yet
+        let _ = unsafe { miri::init_sv() };
+    }
+
     run_compiler_and_exit(
         &rustc_args,
         &mut MiriCompilerCalls::new(miri_config, many_seeds, genmc_config),