maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

When doing arithmatic on vla pointer, make sure 

to emit vla size to prevent an irgen crash.
// rdar://11485774

llvm-svn: 158117
This commit is contained in:
Fariborz Jahanian 2012-06-06 22:58:50 +00:00
parent 00e7dffefb
commit 67164852a7
2 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/CodeGen/CGExprScalar.cpp
View File

@ -1970,6 +1970,9 @@ static Value *emitPointerArithmetic(CodeGenFunction &CGF,
QualType elementType = pointerType->getPointeeType();
if (const VariableArrayType *vla
= CGF.getContext().getAsVariableArrayType(elementType)) {
// arithmatic on VLA pointer - make sure to emit the VLA size.
CGF.EmitVariablyModifiedType(elementType);
// The element count here is the total number of non-VLA elements.
llvm::Value *numElements = CGF.getVLASize(vla).first;

20
clang/test/CodeGen/vla.c
View File

@ -142,3 +142,23 @@ int test4(unsigned n, char (*p)[n][n+1][6]) {
// CHECK-NEXT: ret i32 [[T7]]
return p2 - p;
}
// rdar://11485774
void test5(void)
{
// CHECK: define void @test5(
int a[5], i = 0;
// CHECK: [[A:%.*]] = alloca [5 x i32], align 4
// CHECK-NEXT: [[I:%.*]] = alloca i32, align 4
// CHECK-NEXT: [[CL:%.*]] = alloca i32*, align 4
// CHECK-NEXT: store i32 0, i32* [[I]], align 4
(typeof(++i, (int (*)[i])a)){&a} += 0;
// CHECK-NEXT: [[Z:%.*]] = bitcast [5 x i32]* [[A]] to i32*
// CHECK-NEXT: store i32* [[Z]], i32** [[CL]]
// CHECK-NEXT: [[O:%.*]] = load i32** [[CL]]
// CHECK-NEXT: [[T:%.*]] = load i32* [[I]], align 4
// CHECK-NEXT: [[VLAIX:%.*]] = mul nsw i32 0, [[T]]
// CHECK-NEXT: [[ADDPTR:%.*]] = getelementptr inbounds i32* [[O]], i32 [[VLAIX]]
// CHECK-NEXT: store i32* [[ADDPTR]], i32** [[CL]]
}