Distinguish between library and lang UB in assert_unsafe_precondition

saethlin · saethlin · commit 158b70a1eda0 · 2024-03-08T18:53:58.000-05:00
diff --git a/clippy_utils/src/qualify_min_const_fn.rs b/clippy_utils/src/qualify_min_const_fn.rs
@@ -174,7 +174,7 @@ fn check_rvalue<'tcx>(
                 ))
             }
         },
-        Rvalue::NullaryOp(NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(_) | NullOp::DebugAssertions, _)
+        Rvalue::NullaryOp(NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(_) | NullOp::UbCheck(_), _)
         | Rvalue::ShallowInitBox(_, _) => Ok(()),
         Rvalue::UnaryOp(_, operand) => {
             let ty = operand.ty(body, tcx);

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@ fn check_rvalue<'tcx>(`
`174`	`174`	`))`
`175`	`175`	`}`
`176`	`176`	`},`
`177`		`- Rvalue::NullaryOp(NullOp::SizeOf \| NullOp::AlignOf \| NullOp::OffsetOf(_) \| NullOp::DebugAssertions, _)`
	`177`	`+ Rvalue::NullaryOp(NullOp::SizeOf \| NullOp::AlignOf \| NullOp::OffsetOf(_) \| NullOp::UbCheck(_), _)`
`178`	`178`	`\| Rvalue::ShallowInitBox(_, _) => Ok(()),`
`179`	`179`	`Rvalue::UnaryOp(_, operand) => {`
`180`	`180`	`let ty = operand.ty(body, tcx);`