From bcfd1f0c5607c4a0a231e55961baf4a5a36c8c3c Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Thu, 29 Oct 2015 23:37:28 +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: 251667 --- llvm/test/Bitcode/invalid.test | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'llvm/test/Bitcode/invalid.test') 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