Miri function identity hack: account for possible inlining

RalfJung · RalfJung · commit 12ede216e661 · 2024-07-02T21:05:30.000+02:00
diff --git a/src/common.rs b/src/common.rs
@@ -220,7 +220,7 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> {
                         }
                         value
                     }
-                    GlobalAlloc::Function(fn_instance) => self.get_fn_addr(fn_instance),
+                    GlobalAlloc::Function { instance, .. } => self.get_fn_addr(instance),
                     GlobalAlloc::VTable(ty, trait_ref) => {
                         let alloc = self
                             .tcx

Original file line number	Diff line number	Diff line change
`@@ -220,7 +220,7 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> {`
`220`	`220`	`}`
`221`	`221`	`value`
`222`	`222`	`}`
`223`		`- GlobalAlloc::Function(fn_instance) => self.get_fn_addr(fn_instance),`
	`223`	`+ GlobalAlloc::Function { instance, .. } => self.get_fn_addr(instance),`
`224`	`224`	`GlobalAlloc::VTable(ty, trait_ref) => {`
`225`	`225`	`let alloc = self`
`226`	`226`	`.tcx`