From bad0779f6310af38570f4fcfc68ea876d5e4dca7 Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Thu, 30 Apr 2015 00:52:42 +0000 Subject: Make sure we don't resize(0) when we get a fwdref with Idx == UINT_MAX Make it an error instead. Bug found with AFL fuzz. llvm-svn: 236190 --- llvm/test/Bitcode/Inputs/invalid-too-big-fwdref.bc | Bin 0 -> 452 bytes llvm/test/Bitcode/invalid.test | 5 +++++ 2 files changed, 5 insertions(+) create mode 100644 llvm/test/Bitcode/Inputs/invalid-too-big-fwdref.bc (limited to 'llvm/test/Bitcode') diff --git a/llvm/test/Bitcode/Inputs/invalid-too-big-fwdref.bc b/llvm/test/Bitcode/Inputs/invalid-too-big-fwdref.bc new file mode 100644 index 00000000000..d1d51a634fc Binary files /dev/null and b/llvm/test/Bitcode/Inputs/invalid-too-big-fwdref.bc differ diff --git a/llvm/test/Bitcode/invalid.test b/llvm/test/Bitcode/invalid.test index c18ff3d3f61..077f3515128 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -112,3 +112,8 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc RUN: FileCheck --check-prefix=ARRAY-NOT-2LAST %s ARRAY-NOT-2LAST: Array op not second to last + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \ +RUN: FileCheck --check-prefix=HUGE-FWDREF %s + +HUGE-FWDREF: Invalid record -- cgit v1.2.3