wip: disable StorageLive check.

cjgillot · cjgillot · commit ab6ddf6fc6b1 · 2023-12-03T13:42:29.000Z
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs
@@ -302,7 +302,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
`@@ -302,7 +302,7 @@ impl<'a, 'tcx> Visitor<'tcx> for CfgChecker<'a, 'tcx> {`
`302`	`302`	`);`
`303`	`303`	`}`
`304`	`304`
`305`		`- if self.reachable_blocks.contains(location.block) && context.is_use() {`
	`305`	`+ if false && self.reachable_blocks.contains(location.block) && context.is_use() {`
`306`	`306`	`// We check that the local is live whenever it is used. Technically, violating this`
`307`	`307`	`// restriction is only UB and not actually indicative of not well-formed MIR. This means`
`308`	`308`	`// that an optimization which turns MIR that already has UB into MIR that fails this`