mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-02 15:32:06 +00:00
Handle NonDivergingIntrinsic and CopyNonOverlapping
This commit is contained in:
parent
f99950f6ae
commit
eab77320e6
@ -116,10 +116,19 @@ pub trait ValueAnalysis<'tcx> {
|
||||
|
||||
fn super_intrinsic(
|
||||
&self,
|
||||
_intrinsic: &NonDivergingIntrinsic<'tcx>,
|
||||
_state: &mut State<Self::Value>,
|
||||
intrinsic: &NonDivergingIntrinsic<'tcx>,
|
||||
state: &mut State<Self::Value>,
|
||||
) {
|
||||
todo!();
|
||||
match intrinsic {
|
||||
NonDivergingIntrinsic::Assume(..) => {
|
||||
// Could use this, but ignoring it is sound.
|
||||
}
|
||||
NonDivergingIntrinsic::CopyNonOverlapping(CopyNonOverlapping { dst, .. }) => {
|
||||
if let Some(place) = dst.place() {
|
||||
state.flood(place.as_ref(), self.map());
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
fn handle_assign(
|
||||
|
Loading…
Reference in New Issue
Block a user