Skip to content

Commit 31818fb

Browse files
committed
Reland "[clang][DebugInfo][NFC] Simplify CollectRecordLambdaFields"
This reverts commit 99a29f6. Original change was reverted because following assertion started firing: ``` clang++: clang/include/clang/AST/LambdaCapture.h:105: ValueDecl *clang::LambdaCapture::getCapturedVar() const: Assertion `capturesVariable() && "No variable available for capture"' failed. PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script. Stack dump: 0.Program arguments: ../../prebuilt/third_party/clang/custom/bin/clang++ -MD -MF host_x64/obj/third_party/android/platform/system/libbase/libbase.logging.cpp.o.d -D_LIBCPP_DISABLE_VISIBILITY_ANNOTATIONS -D_LIBCPP_REMOVE_TRANSITIVE_INCLUDES -I../.. -Ihost_x64/gen -I../../third_party/android/platform/system/libbase/include -I../../third_party/fmtlib/src/include -I../../third_party/android/platfo...com 1.<eof> parser at end of file 2.Per-file LLVM IR generation clang++: error: clang frontend command failed with exit code 134 (use -v to see invocation) Fuchsia clang version 22.0.0git (https://llvm.googlesource.com/llvm-project 8553bd2) ******************** ``` The relanded patch just adds a `Capture.capturesVariable()` check before calling `getCapturedVar`. That's what the code did before the refactor.
1 parent 4fe1a87 commit 31818fb

File tree

2 files changed

+41
-24
lines changed

2 files changed

+41
-24
lines changed

clang/lib/CodeGen/CGDebugInfo.cpp

Lines changed: 40 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@
2626
#include "clang/AST/DeclObjC.h"
2727
#include "clang/AST/DeclTemplate.h"
2828
#include "clang/AST/Expr.h"
29+
#include "clang/AST/LambdaCapture.h"
2930
#include "clang/AST/RecordLayout.h"
3031
#include "clang/AST/RecursiveASTVisitor.h"
3132
#include "clang/AST/VTableBuilder.h"
@@ -1903,46 +1904,61 @@ CGDebugInfo::createInlinedSubprogram(StringRef FuncName,
19031904
return SP;
19041905
}
19051906

1907+
llvm::StringRef
1908+
CGDebugInfo::GetLambdaCaptureName(const LambdaCapture &Capture) {
1909+
if (Capture.capturesThis())
1910+
return CGM.getCodeGenOpts().EmitCodeView ? "__this" : "this";
1911+
1912+
assert(Capture.capturesVariable());
1913+
1914+
const ValueDecl *CaptureDecl = Capture.getCapturedVar();
1915+
assert(CaptureDecl && "Expected valid decl for captured variable.");
1916+
1917+
return CaptureDecl->getName();
1918+
}
1919+
19061920
void CGDebugInfo::CollectRecordLambdaFields(
19071921
const CXXRecordDecl *CXXDecl, SmallVectorImpl<llvm::Metadata *> &elements,
19081922
llvm::DIType *RecordTy) {
19091923
// For C++11 Lambdas a Field will be the same as a Capture, but the Capture
19101924
// has the name and the location of the variable so we should iterate over
19111925
// both concurrently.
1912-
const ASTRecordLayout &layout = CGM.getContext().getASTRecordLayout(CXXDecl);
19131926
RecordDecl::field_iterator Field = CXXDecl->field_begin();
19141927
unsigned fieldno = 0;
19151928
for (CXXRecordDecl::capture_const_iterator I = CXXDecl->captures_begin(),
19161929
E = CXXDecl->captures_end();
19171930
I != E; ++I, ++Field, ++fieldno) {
1918-
const LambdaCapture &C = *I;
1919-
if (C.capturesVariable()) {
1920-
SourceLocation Loc = C.getLocation();
1921-
assert(!Field->isBitField() && "lambdas don't have bitfield members!");
1922-
ValueDecl *V = C.getCapturedVar();
1923-
StringRef VName = V->getName();
1924-
llvm::DIFile *VUnit = getOrCreateFile(Loc);
1925-
auto Align = getDeclAlignIfRequired(V, CGM.getContext());
1926-
llvm::DIType *FieldType = createFieldType(
1927-
VName, Field->getType(), Loc, Field->getAccess(),
1928-
layout.getFieldOffset(fieldno), Align, VUnit, RecordTy, CXXDecl);
1929-
elements.push_back(FieldType);
1930-
} else if (C.capturesThis()) {
1931+
const LambdaCapture &Capture = *I;
1932+
const uint64_t FieldOffset =
1933+
CGM.getContext().getASTRecordLayout(CXXDecl).getFieldOffset(fieldno);
1934+
1935+
assert(!Field->isBitField() && "lambdas don't have bitfield members!");
1936+
1937+
SourceLocation Loc;
1938+
uint32_t Align = 0;
1939+
1940+
if (Capture.capturesThis()) {
19311941
// TODO: Need to handle 'this' in some way by probably renaming the
19321942
// this of the lambda class and having a field member of 'this' or
19331943
// by using AT_object_pointer for the function and having that be
19341944
// used as 'this' for semantic references.
1935-
FieldDecl *f = *Field;
1936-
llvm::DIFile *VUnit = getOrCreateFile(f->getLocation());
1937-
QualType type = f->getType();
1938-
StringRef ThisName =
1939-
CGM.getCodeGenOpts().EmitCodeView ? "__this" : "this";
1940-
llvm::DIType *fieldType = createFieldType(
1941-
ThisName, type, f->getLocation(), f->getAccess(),
1942-
layout.getFieldOffset(fieldno), VUnit, RecordTy, CXXDecl);
1943-
1944-
elements.push_back(fieldType);
1945+
Loc = Field->getLocation();
1946+
} else if (Capture.capturesVariable()) {
1947+
Loc = Capture.getLocation();
1948+
1949+
const ValueDecl *CaptureDecl = Capture.getCapturedVar();
1950+
assert(CaptureDecl && "Expected valid decl for captured variable.");
1951+
1952+
Align = getDeclAlignIfRequired(CaptureDecl, CGM.getContext());
1953+
} else {
1954+
continue;
19451955
}
1956+
1957+
llvm::DIFile *VUnit = getOrCreateFile(Loc);
1958+
1959+
elements.push_back(createFieldType(
1960+
GetLambdaCaptureName(Capture), Field->getType(), Loc,
1961+
Field->getAccess(), FieldOffset, Align, VUnit, RecordTy, CXXDecl));
19461962
}
19471963
}
19481964

clang/lib/CodeGen/CGDebugInfo.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -397,6 +397,7 @@ class CGDebugInfo {
397397
void CollectRecordFields(const RecordDecl *Decl, llvm::DIFile *F,
398398
SmallVectorImpl<llvm::Metadata *> &E,
399399
llvm::DICompositeType *RecordTy);
400+
llvm::StringRef GetLambdaCaptureName(const LambdaCapture &Capture);
400401

401402
/// If the C++ class has vtable info then insert appropriate debug
402403
/// info entry in EltTys vector.

0 commit comments

Comments
 (0)