[PATCH] D132236: [analyzer] Fix liveness of LazyCompoundVals

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> For FPs I dont know how to automate this process. :/

Given that our initial hypothesis was that there should be zero new false positives, it could probably work with a creduce predicate //"this code has a warning after the patch but not before the patch"//. The initial hypothesis is probably not entirely correct, given that even a slight change in coverage could result in false positives, but I doubt that if you pick 4-5 examples, all of them would reduce to a situation where it's just a change of coverage. Especially given how common you say the problem appears to be. So I think it's worth a try.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D132236