Skip to content

Commit

Permalink
wip: disable StorageLive check.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Nov 25, 2023
1 parent aac6adc commit 8aba543
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/rustc_const_eval/src/transform/validate.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 8aba543

Please sign in to comment.