[PATCH] D64287: [analyzer] Track the right hand side of the last store regardless of its value

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 17 13:22:05 PDT 2019


Szelethus added a comment.

In D64287#1589941 <https://reviews.llvm.org/D64287#1589941>, @xazax.hun wrote:

> LGTM!
>
> Since we allow new kinds of SVals to be tracked it would be great to test this first on a larger corpus of projects just to see if there is a crash (due to an unhandled SVal type).


It doesn't! Though that analysis was run with plenty of other patches as well, but I saw no crashes regardless.


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

https://reviews.llvm.org/D64287





More information about the cfe-commits mailing list