wip: disable StorageLive check.

cjgillot · cjgillot · commit a7ccf80cf572 · 2023-10-26T10:04:51.000Z
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs
@@ -296,7 +296,7 @@ impl<'a, 'tcx> Visitor<'tcx> for CfgChecker<'a, 'tcx> {
             );
         }
 
-        if self.reachable_blocks.contains(location.block) && context.is_use() {
+        if false && self.reachable_blocks.contains(location.block) && context.is_use() {
             // We check that the local is live whenever it is used. Technically, violating this
             // restriction is only UB and not actually indicative of not well-formed MIR. This means
             // that an optimization which turns MIR that already has UB into MIR that fails this

Original file line number	Diff line number	Diff line change
`@@ -296,7 +296,7 @@ impl<'a, 'tcx> Visitor<'tcx> for CfgChecker<'a, 'tcx> {`
`296`	`296`	`);`
`297`	`297`	`}`
`298`	`298`
`299`		`- if self.reachable_blocks.contains(location.block) && context.is_use() {`
	`299`	`+ if false && self.reachable_blocks.contains(location.block) && context.is_use() {`
`300`	`300`	`// We check that the local is live whenever it is used. Technically, violating this`
`301`	`301`	`// restriction is only UB and not actually indicative of not well-formed MIR. This means`
`302`	`302`	`// that an optimization which turns MIR that already has UB into MIR that fails this`