summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-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);
});