From 7aae2f23c85feab28bc2f47c11067bd6f11af7f6 Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Tue, 3 Nov 2015 13:48:26 +0000 Subject: Don't assert if materializing before seeing any function bodies This assert was reachable from user input. A minimized test case (no FUNCTION_BLOCK_ID record) is attached. Bug found with afl-fuzz llvm-svn: 251910 --- llvm/test/Bitcode/Inputs/invalid-no-function-block.bc | Bin 0 -> 548 bytes llvm/test/Bitcode/invalid.test | 5 +++++ 2 files changed, 5 insertions(+) create mode 100644 llvm/test/Bitcode/Inputs/invalid-no-function-block.bc (limited to 'llvm/test/Bitcode') diff --git a/llvm/test/Bitcode/Inputs/invalid-no-function-block.bc b/llvm/test/Bitcode/Inputs/invalid-no-function-block.bc new file mode 100644 index 00000000000..52b65588e4a Binary files /dev/null and b/llvm/test/Bitcode/Inputs/invalid-no-function-block.bc differ diff --git a/llvm/test/Bitcode/invalid.test b/llvm/test/Bitcode/invalid.test index 69104046df2..24ccd8bccd5 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -207,3 +207,8 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-alias-type-mismatch.bc 2>&1 RUN: FileCheck --check-prefix=ALIAS-TYPE-MISMATCH %s ALIAS-TYPE-MISMATCH: Alias and aliasee types don't match + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-function-block.bc 2>&1 | \ +RUN: FileCheck --check-prefix=NO-FUNCTION-BLOCK %s + +NO-FUNCTION-BLOCK: Trying to materialize functions before seeing function blocks -- cgit v1.2.3