From 469d79c437e2be320bfe12a28c350a12bae1bc06 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sat, 24 Dec 2016 16:35:05 +1100 Subject: MIR Check - VarState past switch --- src/mir/check.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/mir/check.cpp') diff --git a/src/mir/check.cpp b/src/mir/check.cpp index 65473b50..f16c222e 100644 --- a/src/mir/check.cpp +++ b/src/mir/check.cpp @@ -346,7 +346,10 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path to_visit_blocks.push_back( ::std::make_pair(e.bb1, ::std::move(val_state)) ); ), (Switch, - // TODO: Push blocks + for(const auto& tgt : e.targets) + { + to_visit_blocks.push_back( ::std::make_pair(tgt, val_state) ); + } ), (Call, // TODO: Push blocks (with return valid only in one) -- cgit v1.2.3