summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/mir/check.cpp5
1 files changed, 4 insertions, 1 deletions
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)