From ea79c5b4f7e5b1eece00fadb51cac4269cd997b5 Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Wed, 22 Apr 2015 09:06:21 +0000 Subject: Have more strict type checks when creating BinOp nodes in BitcodeReader Summary: Bug found with AFL. Reviewers: rafael, bkramer Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D9015 llvm-svn: 235489 --- 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 5c6e280024c..5431368a0ad 100644 --- a/llvm/test/Bitcode/invalid.test +++ b/llvm/test/Bitcode/invalid.test @@ -61,3 +61,8 @@ RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-proper-module.bc 2>&1 | \ RUN: FileCheck --check-prefix=NO-MODULE %s NO-MODULE: Malformed IR file + +RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \ +RUN: FileCheck --check-prefix=FP-SHIFT %s + +FP-SHIFT: Invalid record -- cgit v1.2.3