From 505090085f9264088963e724dc93edfde7e56b38 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sat, 22 Apr 2017 22:05:14 +0800 Subject: MIR Validate - Don't use ScopeEnd, it's incorrect after opt --- src/mir/check.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src') diff --git a/src/mir/check.cpp b/src/mir/check.cpp index 4dbdb45f..8e933508 100644 --- a/src/mir/check.cpp +++ b/src/mir/check.cpp @@ -458,6 +458,10 @@ void MIR_Validate_ValState(::MIR::TypeResolve& state, const ::MIR::Function& fcn val_state.mark_validity( state, stmt.as_Assign().dst, true ); break; case ::MIR::Statement::TAG_ScopeEnd: + //for(auto idx : stmt.as_ScopeEnd().vars) + // val_state.mark_validity(state, ::MIR::LValue::make_Variable(idx), false); + //for(auto idx : stmt.as_ScopeEnd().tmps) + // val_state.mark_validity(state, ::MIR::LValue::make_Temporary({idx}), false); break; } } @@ -855,6 +859,7 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path // TODO: Anything need checking here? break; case ::MIR::Statement::TAG_ScopeEnd: + // TODO: Mark listed values as descoped break; } } -- cgit v1.2.3