diff options
| author | John Hodge <tpg@ucc.asn.au> | 2017-05-12 21:30:22 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2017-05-12 21:30:22 +0800 |
| commit | e49eca13f3a4757c4a51eb57879bf57ad7513c9e (patch) | |
| tree | daa47316840ee2c30af7da000ae4804c05de3b65 | |
| parent | 7343984cf841ae35dbc6c6238c59c11923243685 (diff) | |
| download | mrust-e49eca13f3a4757c4a51eb57879bf57ad7513c9e.tar.gz | |
MIR Check - (minor) Note to check for leaks on assignment
| -rw-r--r-- | src/mir/check_full.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
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); |