diff options
| author | John Hodge <tpg@ucc.asn.au> | 2017-04-22 22:05:14 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2017-04-22 22:05:14 +0800 |
| commit | 505090085f9264088963e724dc93edfde7e56b38 (patch) | |
| tree | 9ceae222de21d8f73679412ab34fb0ac88dc5bc5 | |
| parent | 33d1a89fe5de0ef839789bc858aa79330f8dc425 (diff) | |
| download | mrust-505090085f9264088963e724dc93edfde7e56b38.tar.gz | |
MIR Validate - Don't use ScopeEnd, it's incorrect after opt
| -rw-r--r-- | src/mir/check.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
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; } } |