[ThinLTO] Verify lazy-loaded source module for function importing when assertions...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@290416 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/IPO/FunctionImport.cpp b/lib/Transforms/IPO/FunctionImport.cpp
index c57435e284a614be01315b001fb220e2864aeed0..9489f8d699b52c7c5a032498bbb11d9d0673f836 100644 (file)
--- a/lib/Transforms/IPO/FunctionImport.cpp
+++ b/lib/Transforms/IPO/FunctionImport.cpp
@@ -697,6 +697,14 @@ Expected<bool> FunctionImporter::importFunctions(
       }
     }
 
+#ifndef DEBUG
+    // Note: this can't be done after `renameModuleForThinLTO` as it leaves the
+    // module in a state that does not pass the verifier (for example aliases
+    // pointing to available_externally functions).
+    if (verifyModule(*SrcModule, &errs()))
+      report_fatal_error("Invalid lazy-loaded source module for importing");
+#endif
+
     // Link in the specified functions.
     if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport))
       return true;