Add comment to make_miri_codegen_backend

bjorn3 · RalfJung · web-flow · commit b17cbd3edeca · 2025-11-27T19:14:59.000+01:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs
@@ -167,7 +167,10 @@ fn run_many_seeds(
     }
 }
 
-fn make_codegen_backend(opts: &Options, target: &Target) -> Box<dyn CodegenBackend> {
+/// Generates the codegen backend for code that Miri will interpret: we basically
+/// use the dummy backend, except that we put the LLVM backend in charge of
+/// target features.
+fn make_miri_codegen_backend(opts: &Options, target: &Target) -> Box<dyn CodegenBackend> {
     let early_dcx = EarlyDiagCtxt::new(opts.error_format);
 
     // Use the target_config method of the default codegen backend (eg LLVM) to ensure the

Original file line number	Diff line number	Diff line change
`@@ -167,7 +167,10 @@ fn run_many_seeds(`
`167`	`167`	`}`
`168`	`168`	`}`
`169`	`169`
`170`		`-fn make_codegen_backend(opts: &Options, target: &Target) -> Box<dyn CodegenBackend> {`
	`170`	`+/// Generates the codegen backend for code that Miri will interpret: we basically`
	`171`	`+/// use the dummy backend, except that we put the LLVM backend in charge of`
	`172`	`+/// target features.`
	`173`	`+fn make_miri_codegen_backend(opts: &Options, target: &Target) -> Box<dyn CodegenBackend> {`
`171`	`174`	`let early_dcx = EarlyDiagCtxt::new(opts.error_format);`
`172`	`175`
`173`	`176`	`// Use the target_config method of the default codegen backend (eg LLVM) to ensure the`