From e49eca13f3a4757c4a51eb57879bf57ad7513c9e Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Fri, 12 May 2017 21:30:22 +0800
Subject: MIR Check - (minor) Note to check for leaks on assignment

---
 src/mir/check_full.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/mir/check_full.cpp b/src/mir/check_full.cpp
index b697e01f..52c0aaf5 100644
--- a/src/mir/check_full.cpp
+++ b/src/mir/check_full.cpp
@@ -754,6 +754,9 @@ void MIR_Validate_FullValState(::MIR::TypeResolve& mir_res, const ::MIR::Functio
 
             TU_MATCHA( (blk.statements[i]), (se),
             (Assign,
+                #if ENABLE_LEAK_DETECTOR
+                // TODO: Check if the target isn't valid. Allow if either invaid, or too complex to know.
+                #endif
                 TU_MATCHA( (se.src), (ve),
                 (Use,
                     state.move_lvalue(mir_res, ve);
-- 
cgit v1.2.3