steakhal added a comment. In D124621#3485799 <https://reviews.llvm.org/D124621#3485799>, @mantognini wrote:
> 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. Okay. Thanks for your commitment. Please wait for another approval. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D124621/new/ https://reviews.llvm.org/D124621 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits