[PATCH] D121970: [Verify] check that BlockAddresses don't refer to functions with certain linkages which wont be emitted

[Nick Desaulniers via Phabricator via llvm-commits]

nickdesaulniers added a comment.

Maybe we can add to https://llvm.org/docs/LangRef.html#addresses-of-basic-blocks statements like:

> A blockaddress in one translation unit is never equivalent to a blockaddress in another translation unit, so it breaks the rules for linkonce_odr.

Or some language about what happens when the referred to function has certain linkages, and the use occurs outside of that function.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121970