[PATCH] D112349: [Verifier] Add verification logic for GlobalIFuncs

[Itay Bookstein via Phabricator via cfe-commits]

nextsilicon-itay-bookstein added a comment.

I'm referring you again to the start of my explanation (the first three paragraphs); the object file format (ELF) literally cannot express the semantics you're asking for. You're asking for it to support a symbol in a special kind of undefined state: 
ABC = "undefined, but becomes defined to the value of a different symbol XYZ if it ever becomes defined".

In other words, the logical type of **the value** of a symbol is either **empty/undefined** or **offset-into-some-section**. It is never **name-of-another-symbol**.

That is, unless I'm completely missing some special-sauce in the `Elf32_Sym`/`Elf64_Sym` documentation which allows for `st_value` to somehow point at the name of a different undefined symbol (am I missing something? can you point me at documentation that allows for this use-case?).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D112349/new/

https://reviews.llvm.org/D112349