================
@@ -808,6 +808,10 @@ void Verifier::visitGlobalValue(const GlobalValue &GV) {
"visibility must be dso_local!",
&GV);
+ if (GV.isTagged()) {
----------------
fmayer wrote:
The codegen has "is section == precisely honor alignment"
```
Align DataLayout::getPreferredAlign(const GlobalVariable *GV) const {
[...]
// If a section is specified, always precisely honor explicit alignment,
// so we don't insert padding into a section we don't control.
if (GVAlignment && GV->hasSection())
return *GVAlignment;
```
https://github.com/llvm/llvm-project/pull/111918
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
