Put checks that detect UB under their own flag below debug_assertions

saethlin · saethlin · commit 3549d9806d90 · 2024-04-06T11:21:47.000-04:00
diff --git a/src/base.rs b/src/base.rs
@@ -789,7 +789,7 @@ fn codegen_stmt<'tcx>(
                             layout.offset_of_subfield(fx, fields.iter()).bytes()
                         }
                         NullOp::UbChecks => {
-                            let val = fx.tcx.sess.opts.debug_assertions;
+                            let val = fx.tcx.sess.ub_checks();
                             let val = CValue::by_val(
                                 fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),
                                 fx.layout_of(fx.tcx.types.bool),

Original file line number	Diff line number	Diff line change
`@@ -789,7 +789,7 @@ fn codegen_stmt<'tcx>(`
`789`	`789`	`layout.offset_of_subfield(fx, fields.iter()).bytes()`
`790`	`790`	`}`
`791`	`791`	`NullOp::UbChecks => {`
`792`		`- let val = fx.tcx.sess.opts.debug_assertions;`
	`792`	`+ let val = fx.tcx.sess.ub_checks();`
`793`	`793`	`let val = CValue::by_val(`
`794`	`794`	`fx.bcx.ins().iconst(types::I8, i64::try_from(val).unwrap()),`
`795`	`795`	`fx.layout_of(fx.tcx.types.bool),`