From d8a1bcd0ade5f9d077383bd9ac7e146886439fb2 Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Wed, 29 Apr 2015 02:27:28 +0000 Subject: Check that we have a valid PointerType element type before calling get() Same as r236073 but for PointerType. Bug found with AFL fuzz. llvm-svn: 236079 --- llvm/test/Bitcode/Inputs/invalid-pointer-element-type.bc | Bin 0 -> 644 bytes llvm/test/Bitcode/invalid.test | 2 ++ 2 files changed, 2 insertions(+) create mode 100644 llvm/test/Bitcode/Inputs/invalid-pointer-element-type.bc (limited to 'llvm/test/Bitcode') diff --git a/llvm/test/Bitcode/Inputs/invalid-pointer-element-type.bc b/llvm/test/Bitcode/Inputs/invalid-pointer-element-type.bc new file mode 100644 index 00000000000..f9649e66429 Binary files /dev/null and b/llvm/test/Bitcode/Inputs/invalid-pointer-element-type.bc differ diff --git a/llvm/test/Bitcode/invalid.test b/llvm/test/Bitcode/invalid.test index 41173d17e5d..c18ff3d3f61 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -103,6 +103,8 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-element-type.bc 2>&1 | RUN: FileCheck --check-prefix=ELEMENT-TYPE %s RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-element-type.bc 2>&1 | \ RUN: FileCheck --check-prefix=ELEMENT-TYPE %s +RUN: not llvm-dis -disable-output %p/Inputs/invalid-pointer-element-type.bc 2>&1 | \ +RUN: FileCheck --check-prefix=ELEMENT-TYPE %s ELEMENT-TYPE: Invalid type -- cgit v1.2.3