Require that the module symbol table can't appear after function.

src/PNaClTranslator.cpp

Index: src/PNaClTranslator.cpp
diff --git a/src/PNaClTranslator.cpp b/src/PNaClTranslator.cpp
index 3380c9ea29e96de3cf26853b82db81407260bb7c..812537ec9e876f5c779649c896cead07ae090211 100644
--- a/src/PNaClTranslator.cpp
+++ b/src/PNaClTranslator.cpp
@@ -3158,6 +3158,12 @@ bool ModuleParser::ParseBlock(unsigned BlockID) {
     if (FoundValuesymtab)
       Fatal("Duplicate valuesymtab in module");
 
+    // If we have already processed a function block (i.e. we have already
+    // installed global names and variable initializers) we can no longer accept
+    // the value symbol table. Names have already been generated.
+    if (GlobalDeclarationNamesAndInitializersInstalled)
+      Fatal("Module valuesymtab not allowed after function blocks");
+
     FoundValuesymtab = true;
     ModuleValuesymtabParser Parser(BlockID, this);
     return Parser.ParseThisBlock();