replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

DebugInfo: Correct the location of array accesses 

Especially relevant to ASan when dealing with complex expressions
containing multiple array accesses. See PR21737.

llvm-svn: 223872
This commit is contained in:
David Blaikie 2014-12-10 01:03:48 +00:00
parent c67e1b6a2a
commit f0aceb2f69
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/CodeGen/CGExpr.cpp
View File

@ -2459,6 +2459,8 @@ LValue CodeGenFunction::EmitArraySubscriptExpr(const ArraySubscriptExpr *E,
} else {
// The base must be a pointer, which is not an aggregate. Emit it.
llvm::Value *Base = EmitScalarExpr(E->getBase());
if (auto *DI = getDebugInfo())
DI->EmitLocation(Builder, E->getLocStart());
if (getLangOpts().isSignedOverflowDefined())
Address = Builder.CreateGEP(Base, Idx, "arrayidx");
else

10
clang/test/CodeGenCXX/debug-info-line.cpp
View File

@ -72,6 +72,15 @@ void f6() {
= agg_src();
}
// CHECK-LABEL: define
void f7() {
int *src1();
int src2();
#line 800
int x = ( // CHECK: load {{.*}} !dbg [[DBG_F7:!.*]]
src1())[src2()];
}
// CHECK: [[DBG_F1]] = metadata !{i32 100,
// CHECK: [[DBG_FOO_VALUE]] = metadata !{i32 200,
// CHECK: [[DBG_FOO_REF]] = metadata !{i32 202,
@ -81,3 +90,4 @@ void f6() {
// CHECK: [[DBG_F4]] = metadata !{i32 500,
// CHECK: [[DBG_F5]] = metadata !{i32 600,
// CHECK: [[DBG_F6]] = metadata !{i32 700,
// CHECK: [[DBG_F7]] = metadata !{i32 800,