From 453ccd49a87930aa6d3a2867e3355872a613a379 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 9 Jul 2016 19:50:14 +0200
Subject: llvm: don't verify module (doesn't scale)

---
 src/ortho/llvm/ortho_code_main.adb | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to 'src/ortho')

diff --git a/src/ortho/llvm/ortho_code_main.adb b/src/ortho/llvm/ortho_code_main.adb
index b84dfbbd2..5558a8bbe 100644
--- a/src/ortho/llvm/ortho_code_main.adb
+++ b/src/ortho/llvm/ortho_code_main.adb
@@ -287,11 +287,13 @@ begin
    end if;
 
    --  Verify module.
-   if LLVM.Analysis.VerifyModule
-     (Module, LLVM.Analysis.PrintMessageAction, Msg'Access) /= 0
-   then
-      DisposeMessage (Msg);
-      raise Program_Error;
+   if False then
+      if LLVM.Analysis.VerifyModule
+        (Module, LLVM.Analysis.PrintMessageAction, Msg'Access) /= 0
+      then
+         DisposeMessage (Msg);
+         raise Program_Error;
+      end if;
    end if;
 
    if Optimization > CodeGenLevelNone then
-- 
cgit v1.2.3