Skip to content

Commit fb47385

Browse files
RalfJungGuillaumeGomez
authored andcommitted
Miri function identity hack: account for possible inlining
1 parent 007fa3b commit fb47385

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎src/common.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -221,7 +221,7 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> {
221221
}
222222
value
223223
}
224-
GlobalAlloc::Function(fn_instance)=> self.get_fn_addr(fn_instance),
224+
GlobalAlloc::Function{ instance, .. }=> self.get_fn_addr(instance),
225225
GlobalAlloc::VTable(ty, trait_ref) => {
226226
let alloc = self
227227
.tcx

0 commit comments

Comments
 (0)