================ @@ -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 cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits