diff options
| author | Ben Kimock <kimockb@gmail.com> | 2024-02-26 21:25:27 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-03-08 18:53:58 -0500 |
| commit | 5a93a59fd557f7d93ab0b6cc192c47580951666a (patch) | |
| tree | 79cc19acc4da1bc5b6fc7dc6cf1c7ad60d1e7737 /compiler/rustc_mir_dataflow/src/move_paths | |
| parent | 46b180ec2452d388c5d9c14009442e2e0beb01d7 (diff) | |
Distinguish between library and lang UB in assert_unsafe_precondition
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/move_paths')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/move_paths/builder.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/move_paths/builder.rs b/compiler/rustc_mir_dataflow/src/move_paths/builder.rs index db48ecd702b..0f900e6a557 100644 --- a/compiler/rustc_mir_dataflow/src/move_paths/builder.rs +++ b/compiler/rustc_mir_dataflow/src/move_paths/builder.rs @@ -433,7 +433,7 @@ impl<'b, 'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> Gatherer<'b, 'a, 'tcx, F> { | Rvalue::Discriminant(..) | Rvalue::Len(..) | Rvalue::NullaryOp( - NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(..) | NullOp::DebugAssertions, + NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(..) | NullOp::UbCheck(_), _, ) => {} } |