Add testing for mismatched explicit type on a gep operator when loading from bitcode

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232427 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
David Blaikie
2015-03-16 22:03:50 +00:00
parent 2a83bf6228
commit 712d00bc64
3 changed files with 5 additions and 1 deletions

View File

@ -1973,7 +1973,8 @@ std::error_code BitcodeReader::ParseConstants() {
bitc::CST_CODE_CE_INBOUNDS_GEP);
if (PointeeType &&
PointeeType != cast<GEPOperator>(V)->getSourceElementType())
return Error("Invalid record");
return Error("Explicit gep operator type does not match pointee type "
"of pointer operand");
break;
}
case bitc::CST_CODE_CE_SELECT: { // CE_SELECT: [opval#, opval#, opval#]