@@ -215,7 +215,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
215215 let arg_place =
216216 ecx. allocate ( ecx. layout_of ( arg_type) ?, MiriMemoryKind :: Machine . into ( ) ) ?;
217217 ecx. write_os_str_to_c_str ( OsStr :: new ( arg) , arg_place. ptr , size) ?;
218- ecx. mark_immutable ( & * arg_place) ;
218+ ecx. mark_immutable ( & arg_place) ;
219219 argvs. push ( arg_place. to_ref ( & ecx) ) ;
220220 }
221221 // Make an array with all these pointers, in the Miri memory.
@@ -227,23 +227,23 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
227227 let place = ecx. mplace_field ( & argvs_place, idx) ?;
228228 ecx. write_immediate ( arg, & place. into ( ) ) ?;
229229 }
230- ecx. mark_immutable ( & * argvs_place) ;
230+ ecx. mark_immutable ( & argvs_place) ;
231231 // A pointer to that place is the 3rd argument for main.
232232 let argv = argvs_place. to_ref ( & ecx) ;
233233 // Store `argc` and `argv` for macOS `_NSGetArg{c,v}`.
234234 {
235235 let argc_place =
236236 ecx. allocate ( ecx. machine . layouts . isize , MiriMemoryKind :: Machine . into ( ) ) ?;
237237 ecx. write_scalar ( argc, & argc_place. into ( ) ) ?;
238- ecx. mark_immutable ( & * argc_place) ;
238+ ecx. mark_immutable ( & argc_place) ;
239239 ecx. machine . argc = Some ( * argc_place) ;
240240
241241 let argv_place = ecx. allocate (
242242 ecx. layout_of ( tcx. mk_imm_ptr ( tcx. types . unit ) ) ?,
243243 MiriMemoryKind :: Machine . into ( ) ,
244244 ) ?;
245245 ecx. write_immediate ( argv, & argv_place. into ( ) ) ?;
246- ecx. mark_immutable ( & * argv_place) ;
246+ ecx. mark_immutable ( & argv_place) ;
247247 ecx. machine . argv = Some ( * argv_place) ;
248248 }
249249 // Store command line as UTF-16 for Windows `GetCommandLineW`.
@@ -260,7 +260,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
260260 let place = ecx. mplace_field ( & cmd_place, idx) ?;
261261 ecx. write_scalar ( Scalar :: from_u16 ( c) , & place. into ( ) ) ?;
262262 }
263- ecx. mark_immutable ( & * cmd_place) ;
263+ ecx. mark_immutable ( & cmd_place) ;
264264 }
265265 argv
266266 } ;
0 commit comments