[PATCH] D133060: [Verifier] Skip debug location check for non-exact functions

[Adrian Prantl via Phabricator via llvm-commits]

aprantl added a comment.

This comment from `GlobalValue::isDefinitionExact()` makes me wonder if this is the right condition? Sounds like there are  some non-exact functions that may be inlined?

  /// Inlining is okay across non-exact linkage types as long as they're not
  /// interposable (see \c isInterposable), since in such cases the currently
  /// visible variant is *a* correct implementation of the original source
  /// function; it just isn't the *only* correct implementation.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133060