NoQ added a comment. Hmm, just noticed the related work on casts in http://reviews.llvm.org/D12901, which seems to be directly related to my hand-waving above. It might accidentally be useful for reducing FPs of this checker as well. http://reviews.llvm.org/D13126