caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixing alignment_of references members (#153)

Browse Source
This commit is contained in:
Barry Revzin
2025-06-13 06:52:18 -05:00
committed by GitHub
parent 3f0ffa2c24
commit a2548ff890
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/AST/ExprConstantMeta.cpp
View File

@@ -5344,13 +5344,12 @@ bool alignment_of(APValue &Result, ASTContext &C, MetaActions &Meta,
}
case ReflectionKind::Declaration: {
const ValueDecl *VD = cast<ValueDecl>(RV.getReflectedDecl());
size_t Align = C.getTypeAlignInChars(VD->getType()).getQuantity();
if (const FieldDecl *FD = dyn_cast<const FieldDecl>(VD)) {
if (FD->isBitField())
return true;
}
Align = C.getDeclAlign(VD, true).getQuantity();
size_t Align = C.getDeclAlign(VD, false).getQuantity();
return SetAndSucceed(Result,
APValue(C.MakeIntValue(Align, C.getSizeType())));

2
libcxx/test/std/experimental/reflection/layout.pass.cpp
View File

@@ -88,12 +88,14 @@ struct Align {
alignas(8) char a8;
alignas(16) int &r1;
int &r2;
};
static_assert(alignment_of(^^Align::a1) == 1);
static_assert(alignment_of(^^Align::a2) == 2);
static_assert(alignment_of(^^Align::a4) == 4);
static_assert(alignment_of(^^Align::a8) == 8);
static_assert(alignment_of(^^Align::r1) == 16);
static_assert(alignment_of(^^Align::r2) == 8);
static_assert(alignment_of(^^Align) == 16);
static_assert(offset_of(^^Align::a1) == std::meta::member_offset{0, 0});
static_assert(offset_of(^^Align::a2) == std::meta::member_offset{2, 0});