================
@@ -808,6 +808,10 @@ void Verifier::visitGlobalValue(const GlobalValue &GV) {
"visibility must be dso_local!",
&GV);
+ if (GV.isTagged()) {
----------------
arichardson wrote:
Back in 2019 or so we had very similar issues in the CHERI downstream due to
kernel linker sets. The FreeBSD Kernel extensively usess custom section with C
identifiers (so you automatically get __start_<sec> and __stop_<sec> symbols
and then iterates over those sections. Adding padding later in the pipeline
means the existing loop increments could be wrong and you get incorrect
initialization results or crashes.
https://github.com/llvm/llvm-project/pull/111918
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
