Soundness issue for svd2rust generated code

[CXWorks]

Hi,

Thanks for your time. We are researchers focusing on Rust's unsafe soundness issues, our automaic tools found the potential issues in your generated code from svd2rust, a logical unsafe function is marked as safe:

efm32gg11b/src/wtimer0/cc2_ctrl.rs

Lines 344 to 349 in 61a359e

	#[doc = r"Writes raw bits to the field"]
	#[inline(always)]
	pub fn bits(self, value: u8) -> &'a mut W {
	self.w.bits = (self.w.bits & !(0x03 << 12)) | (((value as u32) & 0x03) << 12);
	self.w
	}

please check this issue from svd2rust for more details: rust-embedded/svd2rust#714

And the latest(2024-07-14) svd2rust will generate the code like below for similiar cases:

    #[doc = " Writes raw bits to the field"]
    #[doc = ""]
    #[doc = " # Safety"]
    #[doc = ""]
    #[doc = " Passing incorrect value can cause undefined behaviour. See reference manual"]
    #[inline(always)]
    pub unsafe fn bits(self, value: FI::Ux) -> &'a mut W<REG> {
        self.w.bits &= !(REG::Ux::mask::<WI>() << self.o);
        self.w.bits |= (REG::Ux::from(value) & REG::Ux::mask::<WI>()) << self.o;
        self.w
    }

The esiaest way to fix is to regenerate the Rust library. Thanks again for your time & paitence!

[CXWorks]

This is a false positive since the register accepts all the possible input values, sorry for troubling.