[clang] [clang][AST] Added assert to prevent infinite recursion in computing layout (PR #154134)
via cfe-commits
cfe-commits at lists.llvm.org
Tue Sep 9 04:22:26 PDT 2025
https://github.com/tgs-sc updated https://github.com/llvm/llvm-project/pull/154134
>From 8feef619e2ef72cc2c6c9a107e5a5695ca8fd042 Mon Sep 17 00:00:00 2001
From: Timur Golubovich <timur.golubovich at syntacore.com>
Date: Mon, 18 Aug 2025 18:08:27 +0300
Subject: [PATCH 1/2] [clang][AST] Added assert to prevent infinite recursion
in computing layout
While computing class layout, I met with infinite recursion. This
happened while executing user expression in lldb as record type was
incorrectly received from dwarf. This assert will replace the infinite
recursion with an error and will simplify further debugging of such cases.
---
clang/lib/AST/RecordLayoutBuilder.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/clang/lib/AST/RecordLayoutBuilder.cpp b/clang/lib/AST/RecordLayoutBuilder.cpp
index 6d819031cbef4..93571543f1c7d 100644
--- a/clang/lib/AST/RecordLayoutBuilder.cpp
+++ b/clang/lib/AST/RecordLayoutBuilder.cpp
@@ -187,6 +187,8 @@ void EmptySubobjectMap::ComputeEmptySubobjectSizes() {
// Check the bases.
for (const CXXBaseSpecifier &Base : Class->bases()) {
const CXXRecordDecl *BaseDecl = Base.getType()->getAsCXXRecordDecl();
+ // Assert to prevent infinite recursion.
+ assert(BaseDecl != Class && "Class cannot inherit from itself.");
CharUnits EmptySize;
const ASTRecordLayout &Layout = Context.getASTRecordLayout(BaseDecl);
>From 0e7618322cee752c143b48b97c27a36ee554d02a Mon Sep 17 00:00:00 2001
From: tgs-sc <timur.golubovich at syntacore.com>
Date: Tue, 9 Sep 2025 14:22:18 +0300
Subject: [PATCH 2/2] Update clang/lib/AST/RecordLayoutBuilder.cpp
Co-authored-by: Michael Buch <michaelbuch12 at gmail.com>
---
clang/lib/AST/RecordLayoutBuilder.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/clang/lib/AST/RecordLayoutBuilder.cpp b/clang/lib/AST/RecordLayoutBuilder.cpp
index 93571543f1c7d..38618eefc5a87 100644
--- a/clang/lib/AST/RecordLayoutBuilder.cpp
+++ b/clang/lib/AST/RecordLayoutBuilder.cpp
@@ -187,7 +187,6 @@ void EmptySubobjectMap::ComputeEmptySubobjectSizes() {
// Check the bases.
for (const CXXBaseSpecifier &Base : Class->bases()) {
const CXXRecordDecl *BaseDecl = Base.getType()->getAsCXXRecordDecl();
- // Assert to prevent infinite recursion.
assert(BaseDecl != Class && "Class cannot inherit from itself.");
CharUnits EmptySize;
More information about the cfe-commits
mailing list