jroelofs added a comment. Can the null check be performed in the callee? That'd make this check work for a few more cases that this patch doesn't cover: - `performSelector:` messages - messages to `id`. https://reviews.llvm.org/D30599