Clippy

tautschnig · tautschnig · commit a7da5438c7fa · 2025-07-04T17:02:21.000Z
diff --git a/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs b/kani-compiler/src/codegen_cprover_gotoc/overrides/hooks.rs
@@ -951,7 +951,7 @@ impl GotocHook for AlignOffset {
         );
         let place_expr = unwrap_or_return_codegen_unimplemented_stmt!(
             gcx,
-            gcx.codegen_place_stable(&assign_to, loc)
+            gcx.codegen_place_stable(assign_to, loc)
         )
         .goto_expr;
         let rhs = Expr::int_constant(usize::MAX, place_expr.typ().clone());

Original file line number	Diff line number	Diff line change
`@@ -951,7 +951,7 @@ impl GotocHook for AlignOffset {`
`951`	`951`	`);`
`952`	`952`	`let place_expr = unwrap_or_return_codegen_unimplemented_stmt!(`
`953`	`953`	`gcx,`
`954`		`- gcx.codegen_place_stable(&assign_to, loc)`
	`954`	`+ gcx.codegen_place_stable(assign_to, loc)`
`955`	`955`	`)`
`956`	`956`	`.goto_expr;`
`957`	`957`	`let rhs = Expr::int_constant(usize::MAX, place_expr.typ().clone());`