diff options
author | John Hodge <tpg@ucc.asn.au> | 2018-09-22 16:25:01 +0800 |
---|---|---|
committer | John Hodge <tpg@ucc.asn.au> | 2018-09-22 16:25:01 +0800 |
commit | 5c63b46f8dca1d65c1906c77169555229ab07412 (patch) | |
tree | 5580be06c7a535c3b46bdc3ae9f766697aa1158b /src/mir/check.cpp | |
parent | dd4e3c887fa2eef2db6fa2795d4283636a1cc26e (diff) | |
download | mrust-5c63b46f8dca1d65c1906c77169555229ab07412.tar.gz |
All - Generate MIR for constant evaluation (has too many const_cast calls, but it's less ugly)
- Also includes some MIR optimisation changes to reduce some compile times (hopefully)
- Removed duplicated MIR consteval and now-unused HIR consteval
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) |