move assert_unsafe_preconditions to its own file

RalfJung · RalfJung · commit a517adc66e30 · 2024-03-23T18:44:17.000+01:00
These macros and functions are not intrinsics, after all.
diff --git a/src/base.rs b/src/base.rs
@@ -780,7 +780,7 @@ fn codegen_stmt<'tcx>(
                         NullOp::OffsetOf(fields) => {
                             layout.offset_of_subfield(fx, fields.iter()).bytes()
                         }
-                        NullOp::UbCheck(_) => {
+                        NullOp::UbChecks => {
                             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
`@@ -780,7 +780,7 @@ fn codegen_stmt<'tcx>(`
`780`	`780`	`NullOp::OffsetOf(fields) => {`
`781`	`781`	`layout.offset_of_subfield(fx, fields.iter()).bytes()`
`782`	`782`	`}`
`783`		`- NullOp::UbCheck(_) => {`
	`783`	`+ NullOp::UbChecks => {`
`784`	`784`	`let val = fx.tcx.sess.opts.debug_assertions;`
`785`	`785`	`let val = CValue::by_val(`
`786`	`786`	`fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),`