blob: 9390e951fcf86a31d19e166af0db7819a9ebb5a7 [file] [log] [blame]
; Test if we detect duplicate names in a symbol table.
; REQUIRES: no_minimal_build
; RUN: not %pnacl_sz -bitcode-as-text -allow-externally-defined-symbols \
; RUN: %p/Inputs/fcn-value-index-isnt-defined.tbc \
; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \
; RUN: | FileCheck %s
; CHECK: Value index {{.*}} not defined!
; RUN: pnacl-bcfuzz -bitcode-as-text \
; RUN: %p/Inputs/fcn-value-index-isnt-defined.tbc -output - \
; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s
; ASM: module { // BlockID = 8
; ASM: version 1;
; ASM: types { // BlockID = 17
; ASM: count 4;
; ASM: @t0 = i32;
; ASM: @t1 = i32 ();
; ASM: @t2 = i8;
; ASM: @t3 = void;
; ASM: }
; ASM: define external i32 @f0();
; ASM: globals { // BlockID = 19
; ASM: count 0;
; ASM: }
; ASM: valuesymtab { // BlockID = 14
; ASM: @f0 : "f";
; ASM: }
; ASM: function i32 @f0() { // BlockID = 12
; ASM: blocks 1;
; ASM: constants { // BlockID = 11
; ASM: i32:
; ASM: %c0 = i32 1;
; ASM: }
; ASM: %b0:
; ASM: %v0 = alloca i8, i32 %c0, align 4;
; ASM: ret void %v1;
; ASM: Error({{.*}}): Can't find type for %v1
; ASM: }
; ASM: }