From fc542c7e32eba2639af9f13368d307174d7045e9 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Fri, 28 Apr 2017 22:47:59 +0800
Subject: MIR Check Full - Print the cause of invalidity

---
 src/mir/helpers.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/mir/helpers.cpp')

diff --git a/src/mir/helpers.cpp b/src/mir/helpers.cpp
index 2f787927..9242ccb7 100644
--- a/src/mir/helpers.cpp
+++ b/src/mir/helpers.cpp
@@ -34,6 +34,13 @@ void ::MIR::TypeResolve::print_msg(const char* tag, ::std::function<void(::std::
     //throw CheckFailure {};
 }
 
+unsigned int ::MIR::TypeResolve::get_cur_stmt_ofs() const
+{
+    if( this->stmt_idx == STMT_TERM )
+        return m_fcn.blocks.at(this->bb_idx).statements.size();
+    else
+        return this->stmt_idx;
+}
 const ::MIR::BasicBlock& ::MIR::TypeResolve::get_block(::MIR::BasicBlockId id) const
 {
     MIR_ASSERT(*this, id < m_fcn.blocks.size(), "Block ID " << id << " out of range");
-- 
cgit v1.2.3