nicolas/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[BitcodeReader] Diagnose type mismatches with aliases

Browse Source 
Bug found with AFL fuzz.

llvm-svn: 238895
This commit is contained in:
Filipe Cabecinhas
2015-06-03 01:30:13 +00:00
parent 7b3995885d
commit da86b6d409
3 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/lib/Bitcode/Reader/BitcodeReader.cpp
View File

@@ -2065,9 +2065,12 @@ std::error_code BitcodeReader::ResolveGlobalAndAliasInits() {
if (ValID >= ValueList.size()) {
AliasInits.push_back(AliasInitWorklist.back());
} else {
if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID]))
AliasInitWorklist.back().first->setAliasee(C);
else
if (Constant *C = dyn_cast_or_null<Constant>(ValueList[ValID])) {
GlobalAlias *Alias = AliasInitWorklist.back().first;
if (C->getType() != Alias->getType())
return Error("Alias and aliasee types don't match");
Alias->setAliasee(C);
} else
return Error("Expected a constant");
}
AliasInitWorklist.pop_back();