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

Arthur Eubanks via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jul 9 13:14:28 PDT 2021


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



More information about the llvm-commits mailing list