summaryrefslogtreecommitdiff
path: root/src/main.cpp
diff options
context:
space:
mode:
authorJohn Hodge <tpg@ucc.asn.au>2017-04-23 12:28:25 +0800
committerJohn Hodge <tpg@ucc.asn.au>2017-04-23 12:28:25 +0800
commit0ba0ca404dc1be824dcf71352ef6594952613189 (patch)
treea204d9ec44da929934f81cdc82d5d6677ea835be /src/main.cpp
parent3566204a863b11ba1202807881fe3dd0be0d0817 (diff)
downloadmrust-0ba0ca404dc1be824dcf71352ef6594952613189.tar.gz
main - Annotation about why MIR Check Full is disabled
Diffstat (limited to 'src/main.cpp')
-rw-r--r--src/main.cpp3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp
index a9e4868b..0d1c208c 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -455,6 +455,9 @@ int main(int argc, char *argv[])
CompilePhaseV("MIR Validate PO", [&]() {
MIR_CheckCrate(*hir_crate);
});
+ // - Exhaustive MIR validation (follows every code path and checks variable validity)
+ // > DEBUGGING ONLY
+ // > DISBALED: Excessive memory usage on complex functions
CompilePhaseV("MIR Validate Full", [&]() {
//MIR_CheckCrate_Full(*hir_crate);
});