Check that symbol names in symbol tables are unique.

tests_lit/parse_errs/duplicate-fcn-name.test

Index: tests_lit/parse_errs/duplicate-fcn-name.test
diff --git a/tests_lit/parse_errs/duplicate-fcn-name.test b/tests_lit/parse_errs/duplicate-fcn-name.test
new file mode 100644
index 0000000000000000000000000000000000000000..2ff1a6cc2e5402b3dd40e2bafd6d78540dc29be7
--- /dev/null
+++ b/tests_lit/parse_errs/duplicate-fcn-name.test
@@ -0,0 +1,40 @@
+; Test if we detect duplicate names in a symbol table.
+
+; REQUIRES: no_minimal_build
+
+; RUN: not %pnacl_sz -bitcode-as-text %p/Inputs/duplicate-fcn-name.tbc \
+; RUN:     -bitcode-format=pnacl -notranslate -no-ir-gen -build-on-read 2>&1 \
+; RUN:   | FileCheck %s
+
+; CHECK: Module valuesymtab defines duplicate value name: 'f'
+
+; RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/duplicate-fcn-name.tbc -output - \
+; RUN:   | pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s
+
+; ASM: module {  // BlockID = 8
+; ASM:   version 1;
+; ASM:   types {  // BlockID = 17
+; ASM:     count 2;
+; ASM:     @t0 = void;
+; ASM:     @t1 = void ();
+; ASM:   }
+; ASM:   define external void @f0();
+; ASM:   define external void @f1();
+; ASM:   globals {  // BlockID = 19
+; ASM:     count 0;
+; ASM:   }
+; ASM:   valuesymtab {  // BlockID = 14
+; ASM:     @f0 : "f";
+; ASM:     @f1 : "f";
+; ASM:   }
+; ASM:   function void @f0() {  // BlockID = 12
+; ASM:     blocks 1;
+; ASM:   %b0:
+; ASM:     ret void;
+; ASM:   }
+; ASM:   function void @f1() {  // BlockID = 12
+; ASM:     blocks 1;
+; ASM:   %b0:
+; ASM:     ret void;
+; ASM:   }
+; ASM: }