[PATCH] D64374: [analyzer] CastValueChecker: Model casts

Wed Aug 7 09:05:36 PDT 2019

Charusso added a comment.

In D64374#1594617 <https://reviews.llvm.org/D64374#1594617>, @Szelethus wrote:

> I guess `getAs` and `castAs` methods could join the party too. I'm evaluating plenty of results on LLVM, and those seem to be in the same problem category.

In D64374#1618694 <https://reviews.llvm.org/D64374#1618694>, @Szelethus wrote:

> Do you have plans to extend this checker with the modeling of `isa<>`? I might take that off your shoulder if not :)

Hey! Sorry for the late response, just it is a heavy change. This patch creates about 200 TP, I have checked out every of the new reports.
https://reviews.llvm.org/D65889 creates about 400 TP as an estimation, then `isa()` is the next goal. Thanks you for the ideas!

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

https://reviews.llvm.org/D64374