From 1351cba7209b56273258feac0d0b12c7bc234911 Mon Sep 17 00:00:00 2001 From: Filipe Cabecinhas Date: Wed, 29 Apr 2015 01:58:31 +0000 Subject: Turn an assert into report_fatal_error since it's reachable based on user input Bug found with AFL fuzz. llvm-svn: 236076 --- llvm/lib/Bitcode/Reader/BitstreamReader.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'llvm/lib/Bitcode/Reader') diff --git a/llvm/lib/Bitcode/Reader/BitstreamReader.cpp b/llvm/lib/Bitcode/Reader/BitstreamReader.cpp index 2f34532ae93..dff6d181486 100644 --- a/llvm/lib/Bitcode/Reader/BitstreamReader.cpp +++ b/llvm/lib/Bitcode/Reader/BitstreamReader.cpp @@ -199,7 +199,8 @@ unsigned BitstreamCursor::readRecord(unsigned AbbrevID, unsigned NumElts = ReadVBR(6); // Get the element encoding. - assert(i+2 == e && "array op not second to last?"); + if (i+2 != e) + report_fatal_error("Array op not second to last"); const BitCodeAbbrevOp &EltEnc = Abbv->getOperandInfo(++i); if (EltEnc.getEncoding() == BitCodeAbbrevOp::Array || EltEnc.getEncoding() == BitCodeAbbrevOp::Blob) -- cgit v1.2.3