[llvm-branch-commits] IR: Introduce !elf_section_properties for setting section properties. (PR #149260)

[Eli Friedman via llvm-branch-commits]

https://github.com/efriedma-quic commented:

The intended semantics without a corresponding "section" marking seem a little ambiguous... if we're not promising to put the global in a specific section, what section/sections are relevant?  (If we require a section marking, we also inherit the optimization restrictions for globals with an explicit section, which seems useful here.)

What happens if there's a disagreement between different globals on the correct section attributes?  Do we just generate multiple sections with the same name?

Missing Verifier checks for the new metadata.

https://github.com/llvm/llvm-project/pull/149260