mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add new Deinit statement kind

Browse Source
This commit is contained in:
Jakob Degen 2022-04-05 17:14:59 -04:00
parent f2d2ec3e93
commit a923e9211a
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/base.rs
View File

@ -772,6 +772,7 @@ fn is_fat_ptr<'tcx>(fx: &FunctionCx<'_, '_, 'tcx>, ty: Ty<'tcx>) -> bool {
} }
StatementKind::StorageLive(_) StatementKind::StorageLive(_)
| StatementKind::StorageDead(_) | StatementKind::StorageDead(_)
| StatementKind::Deinit(_)
| StatementKind::Nop | StatementKind::Nop
| StatementKind::FakeRead(..) | StatementKind::FakeRead(..)
| StatementKind::Retag { .. } | StatementKind::Retag { .. }

1
src/constant.rs
View File

@ -518,6 +518,7 @@ pub(crate) fn mir_operand_get_const_val<'tcx>(
StatementKind::Assign(_) StatementKind::Assign(_)
| StatementKind::FakeRead(_) | StatementKind::FakeRead(_)
| StatementKind::SetDiscriminant { .. } | StatementKind::SetDiscriminant { .. }
| StatementKind::Deinit(_)
| StatementKind::StorageLive(_) | StatementKind::StorageLive(_)
| StatementKind::StorageDead(_) | StatementKind::StorageDead(_)
| StatementKind::Retag(_, _) | StatementKind::Retag(_, _)