Here, this crate causes UB by "Producing an invalid value". Concretely, it creates a ShBuiltInResources with mem::zeroed(). In the near future the call to mem::zeroed()will panic to avoid UB, and our crater run determined that this crate will be affected.
The reason that type cannot be zero-initialized is that 0 is not a valid value for ShArrayIndexClampingStrategy, which is the type of one of the fields of ShBuiltInResources.
Here, this crate causes UB by "Producing an invalid value". Concretely, it creates a
ShBuiltInResources
withmem::zeroed()
. In the near future the call tomem::zeroed()
will panic to avoid UB, and our crater run determined that this crate will be affected.The reason that type cannot be zero-initialized is that 0 is not a valid value for
ShArrayIndexClampingStrategy
, which is the type of one of the fields ofShBuiltInResources
.