[PATCH] D124621: [Analyzer] Fix assumptions about const field with member-initializer

Mon May 2 08:38:16 PDT 2022

mantognini added a comment.

In D124621#3482847 <https://reviews.llvm.org/D124621#3482847>, @steakhal wrote:

> For the upcoming patches, it would be nice to test the patches on a small set of open-source projects for exactly this reason.
> I think there is a `clang/utils/analyzer/SATest.py` script helping you on this part.
> It seems we have quite a few projects on the testset `clang/utils/analyzer/projects/projects.json`.
> We are not using it, because we have a different internal testing infrastructure, but it's definitely better than nothing.

Thanks for the tip. I had to fix a thing or two to get SATest.py working with my setup (I'll try to upstream those fixes at some point). However, these projects do not highlight the false-positive being fixed here. I.e., I get no difference in reports with and without this patch. But I'll keep this in mind when working on other improvements.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124621