commit 1351cba7209b56273258feac0d0b12c7bc234911
author Filipe Cabecinhas <me@filcab.net> Wed Apr 29 01:58:31 2015 +0000
committer Filipe Cabecinhas <me@filcab.net> Wed Apr 29 01:58:31 2015 +0000
tree f76fa94fe17f49f81b364ab5ec93711a622ac8b2
parent ac3eca536d3de943f4accd3d52a5ed31e3662017

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

diff --git a/llvm/lib/Bitcode/Reader/BitstreamReader.cpp b/llvm/lib/Bitcode/Reader/BitstreamReader.cpp
index 2f34532..dff6d18 100644
--- a/llvm/lib/Bitcode/Reader/BitstreamReader.cpp
+++ b/llvm/lib/Bitcode/Reader/BitstreamReader.cpp
@@ -199,7 +199,8 @@
       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)