Fix bitcode parser to check type signatures of functions.

src/IceConverter.cpp

Index: src/IceConverter.cpp
diff --git a/src/IceConverter.cpp b/src/IceConverter.cpp
index 0907167ae526055b9d7193ca4fb61c482edc69fd..e54dd2a0403354a2cec808e18c8693392a24ccd1 100644
--- a/src/IceConverter.cpp
+++ b/src/IceConverter.cpp
@@ -880,6 +880,8 @@ void Converter::installGlobalDeclarations(Module *Mod) {
         StrBuf << "\n  Use flag -allow-externally-defined-symbols to override";
       report_fatal_error(StrBuf.str());
     }
+    if (!IceFunc->validateTypeSignature(Ctx))
+      report_fatal_error(IceFunc->getTypeSignatureError(Ctx));
     GlobalDeclarationMap[&Func] = IceFunc;
   }
   // Install global variable declarations.