Distinguish between library and lang UB in assert_unsafe_precondition

saethlin · saethlin · commit 127c232050df · 2024-03-08T18:53:58.000-05:00
diff --git a/src/base.rs b/src/base.rs
@@ -779,7 +779,7 @@ fn codegen_stmt<'tcx>(
                         NullOp::OffsetOf(fields) => {
                             layout.offset_of_subfield(fx, fields.iter()).bytes()
                         }
-                        NullOp::DebugAssertions => {
+                        NullOp::UbCheck(_) => {
                             let val = fx.tcx.sess.opts.debug_assertions;
                             let val = CValue::by_val(
                                 fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),

Original file line number	Diff line number	Diff line change
`@@ -779,7 +779,7 @@ fn codegen_stmt<'tcx>(`
`779`	`779`	`NullOp::OffsetOf(fields) => {`
`780`	`780`	`layout.offset_of_subfield(fx, fields.iter()).bytes()`
`781`	`781`	`}`
`782`		`- NullOp::DebugAssertions => {`
	`782`	`+ NullOp::UbCheck(_) => {`
`783`	`783`	`let val = fx.tcx.sess.opts.debug_assertions;`
`784`	`784`	`let val = CValue::by_val(`
`785`	`785`	`fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),`