diff options
| author | John Hodge <tpg@mutabah.net> | 2016-12-24 16:35:05 +1100 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-12-24 16:35:05 +1100 |
| commit | 469d79c437e2be320bfe12a28c350a12bae1bc06 (patch) | |
| tree | 62f76c97412bdc40b993c99605765ef591cf604b /src/mir/check.cpp | |
| parent | 02a40bf4d2a341609a7e120d780f24688de9ac67 (diff) | |
| download | mrust-469d79c437e2be320bfe12a28c350a12bae1bc06.tar.gz | |
MIR Check - VarState past switch
Diffstat (limited to 'src/mir/check.cpp')
| -rw-r--r-- | src/mir/check.cpp | 5 |
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) |