From 9c3d4e856df39ce343171b7c3185efeea46c9144 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 9 Oct 2023 17:07:04 +0200 Subject: [PATCH] Avoid two regression test warnings (#2815) * No need for unsafe in this place. * Wrap a URL in angle brackets to produce better documentation. --- kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs | 2 +- library/kani/src/models/mod.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs index 1f3134aa7d67..5d60f15f69a5 100644 --- a/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs +++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/intrinsic.rs @@ -989,7 +989,7 @@ impl<'tcx> GotocCtx<'tcx> { } /// This is an intrinsic that was added in - /// https://github.com/rust-lang/rust/pull/114382 that is essentially the + /// that is essentially the /// same as memcmp: it compares two slices up to the specified length. /// The implementation is the same as the hook for `memcmp`. pub fn codegen_compare_bytes( diff --git a/library/kani/src/models/mod.rs b/library/kani/src/models/mod.rs index 38ab03fabc95..8b3f771756dc 100644 --- a/library/kani/src/models/mod.rs +++ b/library/kani/src/models/mod.rs @@ -157,7 +157,7 @@ mod test { #[test] #[should_panic(expected = "Expected size of return type and mask lanes to match")] fn test_invalid_generics() { - let mask = unsafe { mask32x16::splat(false) }; + let mask = mask32x16::splat(false); assert_eq!(unsafe { kani_intrinsic::simd_bitmask::<_, u16, i32, 2>(mask) }, u16::MAX); }