RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

AsmParser: Reject alloca with function type

Browse Source 
llvm-svn: 229363
This commit is contained in:
David Majnemer 2015-02-16 08:38:03 +00:00
parent 160432e384
commit b5464fbff9
4 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/AsmParser/LLParser.cpp
View File

@ -5109,16 +5109,16 @@ bool LLParser::ParseCall(Instruction *&Inst, PerFunctionState &PFS,
/// ::= 'alloca' 'inalloca'? Type (',' TypeAndValue)? (',' 'align' i32)? /// ::= 'alloca' 'inalloca'? Type (',' TypeAndValue)? (',' 'align' i32)?
int LLParser::ParseAlloc(Instruction *&Inst, PerFunctionState &PFS) { int LLParser::ParseAlloc(Instruction *&Inst, PerFunctionState &PFS) {
Value *Size = nullptr; Value *Size = nullptr;
LocTy SizeLoc; LocTy SizeLoc, TyLoc;
unsigned Alignment = 0; unsigned Alignment = 0;
Type *Ty = nullptr; Type *Ty = nullptr;
bool IsInAlloca = EatIfPresent(lltok::kw_inalloca); bool IsInAlloca = EatIfPresent(lltok::kw_inalloca);
if (ParseType(Ty)) return true; if (ParseType(Ty, TyLoc)) return true;
if (!PointerType::isValidElementType(Ty)) if (Ty->isFunctionTy() || !PointerType::isValidElementType(Ty))
return TokError("pointer to this type is invalid"); return Error(TyLoc, "invalid type for alloca");
bool AteExtraComma = false; bool AteExtraComma = false;
if (EatIfPresent(lltok::comma)) { if (EatIfPresent(lltok::comma)) {

9
test/Assembler/alloca-invalid-type-2.ll Normal file
View File

@ -0,0 +1,9 @@
; RUN: not llvm-as < %s 2>&1 | FileCheck %s
; CHECK: invalid type for alloca
define void @test() {
entry:
alloca i32 (i32)
ret void
}

2
test/Assembler/alloca-invalid-type.ll
View File

@ -1,6 +1,6 @@
; RUN: not llvm-as < %s 2>&1 | FileCheck %s ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
; CHECK: pointer to this type is invalid ; CHECK: invalid type for alloca
define void @test() { define void @test() {
entry: entry:

2
test/Verifier/2008-03-01-AllocaSized.ll
View File

@ -1,5 +1,5 @@
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: Cannot allocate unsized type ; CHECK: invalid type for alloca
; PR2113 ; PR2113
define void @test() { define void @test() {