diff options
| author | John Hodge <tpg@ucc.asn.au> | 2018-10-06 18:14:13 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2018-10-06 18:14:13 +0800 |
| commit | 1382500b5fdba00568a86f0122bc2e78584dfb5d (patch) | |
| tree | fc293328eea89d6639c4a36f268f5a1e1c826d6e /src/mir/check.cpp | |
| parent | 4a8198baca2cfcee17f83978ab71422a04d53b1a (diff) | |
| parent | bd3d69813cc54439fdc0db33943fa1254db3df06 (diff) | |
| download | mrust-1382500b5fdba00568a86f0122bc2e78584dfb5d.tar.gz | |
Merge branch 'master' of https://github.com/thepowersgang/mrustc
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 cfcc52d4..b2d86590 100644 --- a/src/mir/check.cpp +++ b/src/mir/check.cpp @@ -285,6 +285,8 @@ void MIR_Validate_ValState(::MIR::TypeResolve& state, const ::MIR::Function& fcn }; ::std::vector<ToVisit> to_visit_blocks; + // TODO: Check that all used locals are also set (anywhere at all) + auto add_to_visit = [&](unsigned int idx, ::std::vector<unsigned int> src_path, auto vs) { for(const auto& b : to_visit_blocks) if( b.bb == idx && b.state == vs) |