; REQUIRES: no_minimal_build
; RUN: not %pnacl_sz -bitcode-as-text %p/Inputs/bad-switch-case.tbc \
; RUN:     -bitcode-format=pnacl -notranslate -build-on-read \
; RUN:     -allow-externally-defined-symbols 2>&1 \
; RUN:   | FileCheck -check-prefix=BAD-SWITCH-CASE %s

; BAD-SWITCH-CASE: Reference to basic block 3105555534 not found. Must be less than 6