[PATCH] D105313: [ValueTracking] Use call arguments for nonnull attribute check

[Arthur Eubanks via Phabricator via llvm-commits]

aeubanks added a comment.

are we going to allow mismatched argument types/num arguments for a direct call? it seems bad for usability and seems very easy to mess up frontends, or even simple handwritten IR tests
I'm aware that there are issues with this, it's sort of like [1], but we should probably highlight this as part of the opaque pointer transition

[1]: https://llvm.org/docs/FAQ.html#why-does-instcombine-simplifycfg-turn-a-call-to-a-function-with-a-mismatched-calling-convention-into-unreachable-why-not-make-the-verifier-reject-it


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D105313