diff options
Diffstat (limited to 'src/mir/check.cpp')
| -rw-r--r-- | src/mir/check.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mir/check.cpp b/src/mir/check.cpp index 48ba487b..ffcc4523 100644 --- a/src/mir/check.cpp +++ b/src/mir/check.cpp @@ -235,6 +235,8 @@ void MIR_Validate(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path for(const auto& b : to_visit_blocks) if( b.first == idx && b.second == vs) return ; + if( block_start_states.at(idx) == vs ) + return ; to_visit_blocks.push_back( ::std::make_pair(idx, mv$(vs)) ); }; to_visit_blocks.push_back( ::std::make_pair(0, ValStates{ args.size(), fcn.temporaries.size(), fcn.named_variables.size() }) ); |