Index: test/NaCl/Bitcode/pnacl-bcdis/invalid.test |
diff --git a/test/NaCl/Bitcode/pnacl-bcdis/invalid.test b/test/NaCl/Bitcode/pnacl-bcdis/invalid.test |
index efb49a7e39d465414e84830a390f9ee91529bcd5..49574bc31be75ea2241152dc27e15e886641d791 100644 |
--- a/test/NaCl/Bitcode/pnacl-bcdis/invalid.test |
+++ b/test/NaCl/Bitcode/pnacl-bcdis/invalid.test |
@@ -3,3 +3,9 @@ RUN: | not pnacl-bcdis | FileCheck --check-prefix=BAD-ZEXT-CAST %s |
BAD-ZEXT-CAST: %v1 = zext i32 %p0 to i32 (i32); |
BAD-ZEXT-CAST-NEXT: Invalid cast 'zext'. Not defined on i32 to i32 (i32) |
+ |
+RUN: pnacl-bcfuzz -bitcode-as-text %p/Inputs/bad-switch-case.tbc -output - \ |
+RUN: | not pnacl-thaw --verbose-parse-errors -o /dev/null 2>&1 \ |
+RUN: | FileCheck -check-prefix=BAD-SWITCH-CASE %s |
+ |
+BAD-SWITCH-CASE: Invalid branch in SWITCH case |